Searching for "Constraint contextual rewriting." – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Constraint Contextual Rewriting
- …Constraint Contextual Rewriting Alessandro Armando y DIST, Universita di Genova & LORIA…
- Add To MetaCart
-
Constraint Contextual Rewriting
- …Constraint Contextual Rewriting Alessandro Armando y DIST, Universita di Genova & LORIA…
- Cited by 15 (6 self) – Add To MetaCart
-
Termination of Constraint Contextual Rewriting
- …Termination of Constraint Contextual Rewriting Alessandro Armando and Silvio Ranise DIST…
- Cited by 4 (4 self) – Add To MetaCart
-
Maple's Evaluation Process as Constraint Contextual Rewriting
- …Maple's Evaluation Process as Constraint Contextual Rewriting Alessandro Armando DIST…
- Cited by 3 (0 self) – Add To MetaCart
-
System Description: RDL - Rewrite and Decision procedure Laboratory
- … with equality. It implements Constraint Contextual Rewriting (CCR, for short) [1, 2], a sound and terminating…
- Cited by 4 (1 self) – Add To MetaCart
-
Incorporating Decision Procedures in Implicit Induction
- … Induction based on Constraint Contextual Rewriting. The approach has been successfully used to incorporate…
- Cited by 5 (2 self) – Add To MetaCart
-
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
- … of constraint contextual rewriting as a set of cooperating specialized reasoning modules. 1. Introduction We…
- Cited by 3 (1 self) – Add To MetaCart
-
Article Submitted to Journal of Symbolic Computation Incorporating Decision Procedures in Implicit Induction
- … based on Constraint Contextual Rewriting. The approach has been successfully used to incorporate…
- Add To MetaCart
-
Constraint Solving in Logic Programming and in Automated Deduction: a Comparison
- … the CLP scheme with a form of term rewriting, called Constraint Contextual Rewriting (CCR), which…
- Cited by 3 (3 self) – Add To MetaCart
-
A comparison of decision procedures
- … and is used in the rewrite-based prover Tecton. Constraint Contextual Rewriting: Armando and Ranise…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
