LEADER 05055nam  22007935  450 
001 9910349264403321
005 20251225200519.0
010   $a9783319720562
010   $a3319720562
024 7 $a10.1007/978-3-319-72056-2
035   $a(CKB)4100000001283034
035   $a(DE-He213)978-3-319-72056-2
035   $a(MiAaPQ)EBC6303540
035   $a(MiAaPQ)EBC5578868
035   $a(Au-PeEL)EBL5578868
035   $a(OCoLC)1066189524
035   $a(PPN)222227834
035   $a(EXLCZ)994100000001283034
100   $a20171127d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogical Foundations of Computer Science $eInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8?11, 2018, Proceedings /$fedited by Sergei Artemov, Anil Nerode
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (X, 369 p. 17 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10703
311 08$a9783319720555 
311 08$a3319720554 
320   $aIncludes bibliographical references and index.
327   $aConstructive 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10703
606   $aMachine theory
606   $aComputer arithmetic and logic units
606   $aComputer science
606   $aArtificial intelligence
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aFormal Languages and Automata Theory
606   $aArithmetic and Logic Structures
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aCompilers and Interpreters
606   $aProgramming Techniques
615  0$aMachine theory.
615  0$aComputer arithmetic and logic units.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615 14$aFormal Languages and Automata Theory.
615 24$aArithmetic and Logic Structures.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
676   $a004
702   $aArtemov$b Sergei$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349264403321
996   $aLogical Foundations of Computer Science$9772536
997   $aUNINA