Relating two categorical models of term rewriting
DOI10.1007/3-540-59200-8_59OpenAlexW1832683456MaRDI QIDQ5055833FDOQ5055833
Authors: Andrea Corradini, Fabio Gadducci, Ugo Montanari 
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59200-8_59
Recommendations
- Categorical rewriting of term-like structures
- Categorification, term rewriting and the Knuth-Bendix procedure
- scientific article; zbMATH DE number 1086713
- Computational Category-Theoretic Rewriting
- Computational category-theoretic rewriting
- Presenting a Category Modulo a Rewriting System
- Categorical models of logical systems in the mathematical theory of programming
- scientific article; zbMATH DE number 1231534
- Classifying spaces of categories and term rewriting
- scientific article
Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) 2-categories, bicategories, double categories (18N10)
Cites Work
- Title not available (Why is that?)
- Initial Algebra Semantics and Continuous Algebras
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conditional rewriting logic as a unified model of concurrency
- Semantics of weakening and contraction
- Title not available (Why is that?)
- Title not available (Why is that?)
- An abstract formulation for rewrite systems
- CPO models for infinite term rewriting
- Title not available (Why is that?)
Cited In (14)
- A natural semantic framework for ECATNets
- Rewriting logic as a semantic framework for concurrency: a progress report
- Title not available (Why is that?)
- Relating conflict-free stable transition and event models via redex families
- Tile formats for located and mobile systems.
- Relaxed models for rewriting logic
- Formal Methods in Software and Systems Modeling
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- Presenting a Category Modulo a Rewriting System
- A causal semantics for CCS via rewriting logic
- Title not available (Why is that?)
- Rewriting logic: Roadmap and bibliography
- Categorical rewriting of term-like structures
This page was built for publication: Relating two categorical models of term rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055833)
