Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. (2017)

• Record Type: Book
• Other Titles: LFCS 2018
• Further Information: Note: Sergei Artemov, Anil Nerode (eds.).
• Editors: Artemov, S. N; Nerode, Anil, 1932-
• Other Names: LFCS (Symposium)
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Copyright Date: 2018
• Extent: 1 online resource (369 pages)
• Subjects: 004.015113; Computer science -- Congresses; Computer logic -- Congresses; Computer logic; Computer science; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319720562
• Related ISBNs: 9783319720555
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.