• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logical Foundations of Computer Science: International Symposium, Lfcs 2013, San Diego, Ca, Usa, January 6-8, 2013. Proceedings

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

Paperback

FictionGeneral Computers

ISBN10: 3642357210
ISBN13: 9783642357213
Publisher: Springer
Published: Nov 21 2012
Pages: 415
Weight: 1.31
Height: 0.87 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers