LEADER 05017nam 22008535 450 001 9910484216203321 005 20230406062031.0 010 $a3-540-78127-7 024 7 $a10.1007/978-3-540-78127-1 035 $a(CKB)1000000000490870 035 $a(SSID)ssj0000319450 035 $a(PQKBManifestationID)11265243 035 $a(PQKBTitleCode)TC0000319450 035 $a(PQKBWorkID)10338244 035 $a(PQKB)11519977 035 $a(DE-He213)978-3-540-78127-1 035 $a(MiAaPQ)EBC4975791 035 $a(MiAaPQ)EBC5577436 035 $a(MiAaPQ)EBC6511697 035 $a(Au-PeEL)EBL4975791 035 $a(CaONFJC)MIL134301 035 $a(OCoLC)1024273469 035 $a(Au-PeEL)EBL5577436 035 $a(OCoLC)233973889 035 $a(Au-PeEL)EBL6511697 035 $a(PPN)123743621 035 $a(EXLCZ)991000000000490870 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPillars of Computer Science $eEssays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /$fedited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XXI, 683 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4800 300 $aIncludes index. 311 $a3-540-78126-9 327 $aFrom Logic to Theoretical Computer Science ? An Update -- Reminiscences -- Boris A. Trakhtenbrot: Academic Genealogy and Publications -- Symmetric Logic of Proofs -- Synthesis of Monitors for Real-Time Analysis of Reactive Systems -- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms -- Effective Finite-Valued Approximations of General Propositional Logics -- Model Transformation Languages and Their Implementation by Bootstrapping Method -- Modal Fixed-Point Logic and Changing Models -- Fields, Meadows and Abstract Data Types -- Why Sets? -- The Church-Turing Thesis over Arbitrary Domains -- Generalized Categorial Dependency Grammars -- Temporal Verification of Probabilistic Multi-Agent Systems -- Linear Recurrence Relations for Graph Polynomials -- Artin?s Conjecture and Size of Finite Probabilistic Automata -- Introducing Reactive Kripke Semantics and Arc Accessibility -- On Partially Wellfounded Generic Ultrapowers -- Some Results on the Expressive Power and Complexity of LSCs -- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories -- Tree Automata over Infinite Alphabets -- Connectives in Cumulative Logics -- Reasoning in Dynamic Logic about Program Termination -- The Grace of Quadratic Norms: Some Examples -- Nested Petri Nets for Adaptive Process Modeling -- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors -- Token-Free Petri Nets -- Proof Search Tree and Cut Elimination -- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs -- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge -- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey -- The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed -- The Reaction Algebra: A Formal Language for Event Correlation -- On Natural Non-dcpo Domains -- Church?s Problem and a Tour through Automata Theory -- From Monadic Logic to PSL. 330 $aFor over half a century, Boris (Boaz) Trakhtenbrot has made seminal contributions to virtually all of the central areas of theoretical computer science. This festschrift volume readily illustrates the profound influence he has had on the field. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4800 606 $aComputer science 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aMathematics of Computing 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aMathematics of Computing. 615 24$aArtificial Intelligence. 676 $a004.0151 702 $aDershowitz$b Nachum 702 $aAvron$b Arnon 702 $aRabinovich$b A. B. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484216203321 996 $aPillars of Computer Science$9774407 997 $aUNINA