Cargando…
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Theoretical Computer Science and General Issues,
3838 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.