Home > Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Book Informaton
Author
Sergei Artemov; Anil Nerode
Series
Lecture Notes in Computer Science
Volume
10703
Year of Publication
1st ed. 2018
Publisher
Springer International Publishing
Pages
X, 369
Language
en
ISBN
9783319720555, 9783319720562, 3319720554
ARI Id
1665095932623
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 24 entries
Chapters/Headings | Author(s) | Pages | Info |
I-X | |||
1-21 | |||
22-36 | |||
37-54 | |||
55-71 | |||
72-90 | |||
91-106 | |||
107-119 | |||
120-139 | |||
140-153 | |||
154-169 | |||
170-189 | |||
190-210 | |||
211-220 | |||
221-241 | |||
242-255 | |||
256-272 | |||
273-288 | |||
289-308 | |||
309-330 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 24 entries
Topics
Mathematical Logic and Formal Languages Symbolic and mathematical Logic Information theory Logic design Logics and Meanings of Programs Computer science Arithmetic and Logic Structures Programming Languages Compilers Interpreters Theory of Computation Mathematical Logic and Foundations Congresses Computer logic Logic