Normal higher-order termination
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 1557-945X, 1529-3785
Datum der Publikation: 2015
Ausgabe: 16
Nummer: 2
Art: Artikel
Zeitschrift:
ACM Transactions on Computational Logic