Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. ([2015])

• Record Type: Book
• Other Titles: LFCS 2013
• Further Information: Note: Sergei Artemov, Anil Nerode (eds.).
• Other Names: Artemov, S. N; Nerode, Anil, 1932-; 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: Switzerland : Springer
• Publication Date: 2015
• Copyright Date: 2016
• Extent: 1 online resource
• Subjects: 004; Computer science; Computer science -- Congresses; Computer logic -- Congresses; COMPUTERS -- Computer Literacy; COMPUTERS -- Computer Science; COMPUTERS -- Data Processing; COMPUTERS -- Hardware -- General; COMPUTERS -- Information Technology; COMPUTERS -- Machine Theory; COMPUTERS -- Reference; Computer logic; Computer science; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319276830; 3319276832
• Related ISBNs: 9783319276823
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed December 14, 2015).
• 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.