Orme an implementation of completion procedures as sets of transitions rules

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 661-662
https://doi.org/10.1007/3-540-52885-7_130

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Completion for rewriting modulo a congruence
Theoretical Computer Science, 1989
Completion procedures as transition rules + control
Published by Springer Nature ,1989