Logicality of conditional rewrite systems

Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp. Logicality of conditional rewrite systems. Theoretical Computer Science, 236(1-2):209-232, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.