Constraint contextual rewriting.
From MaRDI portal
Publication:1404984
DOI10.1016/S0747-7171(03)00025-7zbMath1039.68059MaRDI QIDQ1404984
Alessandro Armando, Silvio Ranise
Publication date: 25 August 2003
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Related Items (3)
Constraint contextual rewriting. ⋮ A reconstruction and extension of Maple's assume facility via constraint contextual rewriting ⋮ Unions of non-disjoint theories and combinations of satisfiability procedures
Uses Software
Cites Work
- On Fourier's algorithm for linear arithmetic constraints
- An overview of the Tecton proof system
- Constraint contextual rewriting.
- Maple's evaluation process as constraint contextual rewriting
- Deciding Combinations of Theories
- Fast Decision Procedures Based on Congruence Closure
- Simplification by Cooperating Decision Procedures
- On Shostak's decision procedure for combinations of theories
- A practical integration of first-order reasoning and decision procedures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Constraint contextual rewriting.
