Go to home page
UvA-DARE
Digital Academic Repository
UvA-DARE
Search
Skip to main content
Home
Search Results
Search results
Search_isni: 0000000391091499
Clear all
Show
Filters
Filter results
Full text
Document type
PhD thesis (1)
Organisation
Faculty of Science (FNWI) (1)
Informatics Institute (IVI) (1)
Search text
All fields
Title
Persons
Abstract
{'label': 'Relevance', 'active': False}
{'label': 'Publication year High -> Low', 'active': True}
Search
Results: 1
Number of items: 1
Relevance
Publication year High -> Low
van de Pol, J. C. (1996).
Termination of Higher-Order Rewrite Systems
. [Thesis, fully external, UU].
Page of
first
page
To top