Processes, 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 Oostrom, Femke Raamsdonk, Roel Vrijer.
by Middeldorp, Aart [editor.]; Oostrom, Vincent [editor.]; Raamsdonk, Femke [editor.]; Vrijer, Roel [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3838Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: XVIII, 639 p. Also available online. online resource.ISBN: 9783540324256.Subject(s): Computer science | Logic design | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics) | Mathematical Logic and FoundationsDDC classification: 005.131 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-QA10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| Control Theory in Physics and other Fields of Science | QA75.5-76.95 Pattern Recognition and Machine Intelligence | TK5105.5-5105.9 Information Systems Security | QA8.9-QA10.3 Processes, Terms and Cycles: Steps on the Road to Infinity | TK5105.5-5105.9 Distributed Computing – IWDC 2005 | QA76.6-76.66 Distributed Computing and Internet Technology | QC176-176.9 Advances in Solid State Physics |
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.
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.
There are no comments for this item.