Normal higher-order termination

  1. Jouannaud, J.-P.
  2. Rubio, A.
Journal:
ACM Transactions on Computational Logic

ISSN: 1557-945X,  1529-3785

Year of publication: 2015

Volume: 16

Issue: 2

Type: Article

DOI: 10.1145/2699913 GOOGLE SCHOLAR
Data source: Scopus