Size-based termination of higher-order rewriting.

Saved in:

Bibliographic Details
Title:	Size-based termination of higher-order rewriting.
Authors:	BLANQUI, FRÉDÉRIC¹ frederic.blanqui@inria.fr
Source:	Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 75p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796818000072