LEADER 04891nam  22007935  450 
001 9910484250903321
005 20251226203852.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 $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 08$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
701   $aArtemov$b S. N$01756080
701   $aNerode$b Anil$f1932-$048991
712 12$aLFCS (Symposium)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484250903321
996   $aLogical foundations of computer science$94193176
997   $aUNINA