Decidable Approximations of Term Rewriting Systems

Sorry, there's nothing here.


Citations per Year

125 Citations

Semantic Scholar estimates that this publication has 125 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Jacquemard1996DecidableAO, title={Decidable Approximations of Term Rewriting Systems}, author={Florent Jacquemard}, booktitle={RTA}, year={1996} }