Go to main content

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

LFCS (Symposium) (2018 : Deerfield Beach, Fla.); Artemov, Sergei, editor.; Nerode, Anil, editor.
2018
QA75.5
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / Sergei Artemov, Anil Nerode (eds.).
Meeting Name
LFCS (Symposium) (2018 : Deerfield Beach, Fla.)
ISBN
9783319720562 (electronic book)
3319720562 (electronic book)
9783319720555
3319720554
9783319720555
DOI
https://doi.org/10.1007/978-3-319-72056-2
Published
Cham, Switzerland : Springer, ©2018.
Language
English
Description
1 online resource (x, 369 pages) : illustrations.
Item Number
10.1007/978-3-319-72056-2 doi
Call Number
QA75.5
Dewey Decimal Classification
004
Summary
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. 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 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; and other logics in computer science.
Note
International conference proceedings.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Artemov, Sergei, editor.
Nerode, Anil, editor.
Series
Lecture notes in computer science ; 10703.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783319720555
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export