Login / Signup
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.
Rachid Echahed
Paul Jacquet
Marie-Laure Potet
Sadik Sebbar
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
knuth bendix
artificial intelligence
computer programs
data sets
theorem proving
comparative study
loop formulas
control program
program execution
linear transformation
static analysis
software engineering
similarity measure
database systems
case study
genetic algorithm
information retrieval
databases