LEADER 04921nam  22007575  450 
001 996466001403316
005 20230329141431.0
010   $a3-642-35722-9
024 7 $a10.1007/978-3-642-35722-0
035   $a(CKB)3400000000102948
035   $a(SSID)ssj0000880033
035   $a(PQKBManifestationID)11456597
035   $a(PQKBTitleCode)TC0000880033
035   $a(PQKBWorkID)10854033
035   $a(PQKB)10894515
035   $a(DE-He213)978-3-642-35722-0
035   $a(MiAaPQ)EBC3069047
035   $a(PPN)168329190
035   $a(EXLCZ)993400000000102948
100   $a20130107d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogical Foundations of Computer Science$b[electronic resource] $eInternational Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /$fedited by Sergei Artemov, Anil Nerode
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 415 p. 49 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7734
300   $aInternational conference proceedings.
311   $a3-642-35721-0 
320   $aIncludes bibliographical references and index.
327   $aConstructive mathematics and type theory -- Logic, automata and automatic structures -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational 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 logic -- 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 -- Nonmonotonic 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 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational 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 logic; 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; nonmonotonic 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 ;$v7734
606   $aMachine theory
606   $aComputer arithmetic and logic units
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aMathematical logic
606   $aFormal Languages and Automata Theory
606   $aArithmetic and Logic Structures
606   $aComputer Science Logic and Foundations of Programming
606   $aTheory of Computation
606   $aCompilers and Interpreters
606   $aMathematical Logic and Foundations
615  0$aMachine theory.
615  0$aComputer arithmetic and logic units.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aMathematical logic.
615 14$aFormal Languages and Automata Theory.
615 24$aArithmetic and Logic Structures.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aTheory of Computation.
615 24$aCompilers and Interpreters.
615 24$aMathematical Logic and Foundations.
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
712 12$aLFCS (Symposium)
906   $aBOOK
912   $a996466001403316
996   $aLogical Foundations of Computer Science$9772536
997   $aUNISA