Term rewriting and all that

Sorry, there's nothing here.
0100200'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

2,722 Citations

Semantic Scholar estimates that this publication has 2,722 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Baader1998TermRA, title={Term rewriting and all that}, author={Franz Baader and Tobias Nipkow}, year={1998} }