A generalization of equational proof theory?

DOI10.1007/3-540-45605-8_13MaRDI QIDQ4813206zbMATH OpenFDO

Authors Olivier Bournez

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2399/23990207.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Rewriting logic and probabilities
• Probabilistic rewrite strategies. Applications to ELAN
• Equational rules for rewriting logic
• Generalized rewrite theories
• Term Rewriting and Applications

Cited in

(3)

• Does reductive proof theory have a viable rationale?
• Rewriting logic and probabilities
• scientific article; zbMATH DE number 937385 (Why is no real title available?)

This page was built for publication: A generalization of equational proof theory?

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