CPO models for infinite term rewriting

DOI10.1007/3-540-60043-4_65MaRDI QIDQ5096397zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Fabio Gadducci

Publication date 16 August 2022

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60043-4_65

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• Infinite terms and infinite rewritings
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• scientific article; zbMATH DE number 1231494
• Infinitary rewriting: closure operators, equivalences and models
• Infinitary rewriting: foundations revisited

Cites work

• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• An abstract formulation for rewrite systems
• Conditional rewriting logic as a unified model of concurrency
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Initial Algebra Semantics and Continuous Algebras
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Term graph rewriting and parallel term rewriting
• Term rewriting in \(\mathrm{CT}_\Sigma \)

Cited in

(9)

• Categorical rewriting of term-like structures
• Term-Graph Rewriting Via Explicit Paths
• scientific article; zbMATH DE number 1189296 (Why is no real title available?)
• Rewriting logic as a semantic framework for concurrency: a progress report
• Infinite terms and infinite rewritings
• A causal semantics for CCS via rewriting logic
• Relating two categorical models of term rewriting
• Rewriting logic: Roadmap and bibliography
• Term rewriting in \(\mathrm{CT}_\Sigma \)

This page was built for publication: CPO models for infinite term rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096397)