Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2015

Del 9537 i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;

Produktinformation

Utgivningsdatum:2015-12-10
Mått:155 x 235 x 23 mm
Vikt:633 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:407
Förlag:Springer International Publishing AG
ISBN:9783319276823

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Constructivemathematics and type theory.- Homotopy type theory.- Logic, automata, andautomatic structures.- Computability and randomness.- Logical foundations ofprogramming.- Logical aspects of computational complexity.- Parameterizedcomplexity.- Logic programming and constraints.- Automated deduction andinteractive theorem proving.- Logical methods in protocol and programverification.- Logical methods in program specification and extraction.- Domaintheory logics.- Logical foundations of database theory.- Equational logic andterm rewriting.- Lambda and combinatory calculi.- Categorical logic andtopological semantics.- Linear logic.- Epistemic and temporal logics.- Intelligentand multiple-agent system logics.- Logics of proof and justification.- Non-monotonicreasoning.- Logic in game theory and social software.- Logic of hybrid systems.-Distributed system logics.- Mathematical fuzzy logic.- System design logics.