Buch, Englisch, 369 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5737 g
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
Buch, Englisch, 369 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5737 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-72055-5
Verlag: Springer International Publishing
The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized 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 logics; logical foundations of database theory; equational logic and term rewriting; lambda andcombinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Constructive mathematics and type theory.- Homotopy type theory.- Logic, automata, and automatic structures.- Computability and randomness.- Logical foundations of programming.- Logical aspects of computational complexity.- Parameterized 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 logics.- 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.- Non-monotonic reasoning.- Logic in game theory and social software.- Logic of hybrid systems.- Distributed system logics.- Mathematical fuzzy logic.- System design logics.
