FA Sign in

Discover references

Termination

Books

2 results

Cover of Term Rewriting and All That

English Intermediate

Term Rewriting and All That

Franz Baader,Tobias Nipkow

1998 View book

Cover of Algorithmic term rewriting systems

English Intermediate

Algorithmic term rewriting systems

Ariya Isihara.

cop. 2010. View book