Logical Foundations of Computer Science

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

Häftad, Engelska, 2015

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2015-12-10
Mått155 x 235 x 23 mm
Vikt633 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor407
FörlagSpringer International Publishing AG
ISBN9783319276823

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

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.