Logical Foundations of Computer Science: International Symposium, Lfcs 2013, San Diego, Ca, Usa, January 6-8, 2013. Proceedings

By Sergei Artemov

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.

• Format: Paperback
• Language: English
• ISBN: 3642357210
• ISBN13: 9783642357213
• Release Date: November 2012
• Publisher: Springer
• Length: 415 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"