Filters








4 Hits in 3.1 sec

Reveur-3: the implementation of a general completion procedure parameterized by built-in theories and strategies

Claude Kirchner, Hélène Kirchner
1987 Science of Computer Programming  
This paper describes REVEUR-3. a software that implements a general completion procedure.  ...  REVEUR-3 allows working with built-in theories and strategies and is aimed to perform proofs and experiments in term rewriting syctems. These features are illustrntcd by experimental results. I.  ...  matching algorithms in REVEUR-3.  ... 
doi:10.1016/0167-6423(87)90004-9 fatcat:gmg6py6425cgrasq34lnhzyusq

Page 1073 of Mathematical Reviews Vol. , Issue 88b [page]

1988 Mathematical Reviews  
(F-NANC-I); Kirchner, Hélene (F-NANC-I) REVEUR-3: the implementation of a general completion procedure parameterized by built-in theories and strategies.  ...  Summary: “We describe REVEUR-3, a piece of software that im- plements a general completion procedure.  ... 

Page 550 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(See 88f:68008) 68Q50 (03B35, 68T15) (with Kirchner, Claude) REVEUR-3: the implementation of a general completion procedure parameterized by built-in theories and strategies. Sci. Comput.  ...  Doran) 88a:22014 22D25 (46L05) Kirchner, Claude (with Kirchner, Héléne) REVEUR-3: the implementation of a general completion procedure i by built-in theories and strategies. Sci. Comput.  ... 

Page 1087 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
., 88f:68127 Kirchner, Claude (with Kirchner, Héléne) REVEUR-3: the implementation of a general completion procedure parameterized by built-in theories and strategies. 88b:68171 Kirchner, Hélene See Kirchner  ...  A strong restriction of the inductive completion procedure. 88g:68089 Giovannetti, Elio See Bosco, P.  ...