Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations

DOI10.1007/978-3-540-73147-4_3MaRDI QIDQ3608811zbMATH OpenOpenAlexFDO

Authors Isabelle Gnaedig, Hélène Kirchner

Publication date 6 March 2009

Published in Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73147-4_3

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 139989
• Inductive proof search modulo
• Narrowing based inductive proof search
• On the connection between narrowing and proof by consistency
• On narrowing, refutation proofs and constraints

Cited in

(6)

• Proving weak properties of rewriting
• scientific article; zbMATH DE number 139989 (Why is no real title available?)
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• On Relating Theories: Proof-Theoretical Reduction
• On the connection between narrowing and proof by consistency
• TERMINATION OF ABSTRACT REDUCTION SYSTEMS

Describes a project that uses

Uses Software

• CARIBOO
• Maude
• Stratego

This page was built for publication: Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations

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