E-book
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.
Record details
- ISBN: 9783642357220
- Physical Description: X, 415 p. 49 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
Search for related items by series
Other Formats and Editions
Electronic resources
| Constructive mathematics and type theory | ||
| Logic, automata and automatic structures | ||
| Computability and randomness | ||
| Logical foundations of programming | ||
| Logical aspects of computational complexity | ||
| Logic programming and constraints | ||
| Automated deduction and interactive theorem proving | ||
| Logical methods in protocol and program verification | ||
| Logical methods in program specification and extraction | ||
| Domain theory logic | ||
| Logical foundations of database theory | ||
| Equational logic and term rewriting | ||
| Lambda and combinatory calculi | ||
| Categorical logic and topological semantics | ||
| Linear logic | ||
| Epistemic and temporal logics | ||
| Intelligent and multiple agent system logics | ||
| Logics of proof and justification | ||
| Nonmonotonic reasoning | ||
| Logic in game theory and social software | ||
| Logic of hybrid systems | ||
| Distributed system logics | ||
| Mathematical fuzzy logic | ||
| System design logics. |
