Parameters
More about the book
InhaltsverzeichnisThe 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.
Book purchase
Processes, terms and cycles: steps on the road to infinity, Aart Middeldorp
- Language
- Released
- 2005
Payment methods
- Title
- Processes, terms and cycles: steps on the road to infinity
- Language
- English
- Authors
- Aart Middeldorp
- Publisher
- Springer
- Publisher
- 2005
- ISBN10
- 354030911X
- ISBN13
- 9783540309116
- Category
- Mathematics
- Description
- InhaltsverzeichnisThe 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.