Conditional rewriting logic: Deduction, models and concurrency

DOI10.1007/3-540-54317-1_81MaRDI QIDQ5881267zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_81

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 4090846
• Exploring conditional rewriting logic computations
• Logicality of conditional rewrite systems
• scientific article; zbMATH DE number 1231534
• scientific article; zbMATH DE number 4092821
• A general theory of confluent rewriting systems for logic programming and its applications
• Termination proofs of well-moded logic programs via conditional rewrite systems
• Conditional term rewriting and first-order theorem proving
• Rewriting logic as a semantic framework for concurrency: a progress report

Cites work

• A mathematical approach to nondeterminism in data types
• A rationale for conditional equational programming
• Algebraic semantics
• An abstract formulation for rewrite systems
• Aspects of topoi
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• From Petri nets to linear logic
• scientific article; zbMATH DE number 4016167 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 4191131 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 4043232 (Why is no real title available?)
• scientific article; zbMATH DE number 4060701 (Why is no real title available?)
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 4090848 (Why is no real title available?)
• scientific article; zbMATH DE number 4090851 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 3684925 (Why is no real title available?)
• scientific article; zbMATH DE number 3774867 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3597848 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Petri nets are monoids
• Subequalizers
• Varieties of chain-complete algebras
• Varieties of ordered algebras

Cited in

(32)

• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• Conditional rewriting logic as a unified model of concurrency
• Equational rules for rewriting logic
• Rewriting logic: Roadmap and bibliography
• Twenty years of rewriting logic
• Logicality of conditional rewrite systems
• New foundations for rewriting logic
• Timed term rewrite systems
• Deriving bisimulation congruences: a 2-categorical approach
• José Meseguer: scientist and friend extraordinaire
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Toward the concurrent implementation of computational systems
• Function definitions in term rewriting and applicative programming
• scientific article; zbMATH DE number 4090846 (Why is no real title available?)
• scientific article; zbMATH DE number 64019 (Why is no real title available?)
• scientific article; zbMATH DE number 1231534 (Why is no real title available?)
• scientific article; zbMATH DE number 1361138 (Why is no real title available?)
• scientific article; zbMATH DE number 2043521 (Why is no real title available?)
• scientific article; zbMATH DE number 2043545 (Why is no real title available?)
• scientific article; zbMATH DE number 2038715 (Why is no real title available?)
• A query language based on term matching and rewriting
• Priority rewriting: Semantics, confluence, and conditionals
• An abstract concurrent machine for rewriting
• Towards modelling actor-based concurrency in term rewriting
• scientific article; zbMATH DE number 972583 (Why is no real title available?)
• Conditional term rewriting and first-order theorem proving
• Conditional rewriting in focus
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• A general theory of confluent rewriting systems for logic programming and its applications
• Strict coherence of conditional rewriting modulo axioms
• Forcing, transition algebras, and calculi
• Model-theoretic forcing in transition algebra

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Conditional rewriting logic: Deduction, models and concurrency

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