03977nam 22006975 450 99646554150331620230406053049.03-540-32425-910.1007/11601548(CKB)1000000000213566(SSID)ssj0000319589(PQKBManifestationID)11230373(PQKBTitleCode)TC0000319589(PQKBWorkID)10338217(PQKB)10304820(DE-He213)978-3-540-32425-6(MiAaPQ)EBC3067872(PPN)123099021(EXLCZ)99100000000021356620100411d2005 u| 0engurnn#008mamaatxtccrProcesses, Terms and Cycles: Steps on the Road to Infinity[electronic resource] Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /edited by Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XVIII, 642 p.)Theoretical Computer Science and General Issues,2512-2029 ;3838Bibliographic Level Mode of Issuance: Monograph3-540-30911-X Includes bibliographical references and index.The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes -- Primitive Rewriting -- Infinitary Rewriting: From Syntax to Semantics -- Reducing Right-Hand Sides for Termination -- Reduction Strategies for Left-Linear Term Rewriting Systems -- Higher-Order Rewriting: Framework, Confluence and Termination -- Timing the Untimed: Terminating Successfully While Being Conservative -- Confluence of Graph Transformation Revisited -- Compositional Reasoning for Probabilistic Finite-State Behaviors -- Finite Equational Bases in Process Algebra: Results and Open Questions -- Skew and ?-Skew Confluence and Abstract Böhm Semantics -- A Mobility Calculus with Local and Dependent Types -- Model Theory for Process Algebra -- Expression Reduction Systems and Extensions: An Overview -- Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.Theoretical Computer Science and General Issues,2512-2029 ;3838Machine theoryComputer scienceArtificial intelligenceMathematical logicFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceMathematical Logic and FoundationsMachine theory.Computer science.Artificial intelligence.Mathematical logic.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Artificial Intelligence.Mathematical Logic and Foundations.005.131Middeldorp Aartedthttp://id.loc.gov/vocabulary/relators/edtvan Oostrom Vincentedthttp://id.loc.gov/vocabulary/relators/edtvan Raamsdonk Femkeedthttp://id.loc.gov/vocabulary/relators/edtde Vrijer Roeledthttp://id.loc.gov/vocabulary/relators/edtSpringerLink (Online service)BOOK996465541503316Processes, Terms and Cycles: Steps on the Road to Infinity772136UNISA