Proving termination of higher-order rewrite systems
type: Book
type: CreativeWork
type: ProductModel
issued: 1993
about: p075665506
about: p075664186
about: p075598833
author: p109716922
author: p075396319
language: en
is part of: p864503024
isbn: 903930257X
main entity of page: https://data.bibliotheken.nl/.well-known/genid/a58b239aedc2cb5a9f14e1df82792247
number of pages: 18
label: Proving termination of higher-order rewrite systems / J.C. van de Pol