Adding sorts to TRSs: a result on modularity of termination

Sorry, there's nothing here.

Cite this paper

@inproceedings{Inverardi1999AddingST, title={Adding sorts to TRSs: a result on modularity of termination}, author={Paola Inverardi and Monica Nesi}, booktitle={APPIA-GULP-PRODE}, year={1999} }