Proving termination of normalization functions for conditional expressions
Journal of Automated Reasoning
An overview of the Tecton proof system
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Deciding Combinations of Theories
Journal of the ACM (JACM)
Termination of Constraint Contextual Rewriting
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
STeP: The Stanford Temporal Prover
STeP: The Stanford Temporal Prover
Integrating decision procedures for temporal verification
Integrating decision procedures for temporal verification
Maple's evaluation process as constraint contextual rewriting
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Combining Generic and Domain Specific Reasoning by Using Contexts
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation
| Hi-index | 0.00 |