skip to content
Termination of higher-order rewrite systems Preview this item
ClosePreview this item
Checking...

Termination of higher-order rewrite systems

Author: Jan Cornelis van de Pol
Publisher: Utrecht : Utrecht University, 1996
Dissertation: Disputats, Utrecht 1996
Series: Quaestiones infinitae, 16
Edition/Format:   Thesis/dissertation : Thesis/dissertation : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Jan Cornelis van de Pol
ISBN: 9039313571 9789039313572
OCLC Number: 470636596
Notes: Med hollandsk resumé: Terminatie van hogere-orde herschrijfsystemen
Description: 147 s
Series Title: Quaestiones infinitae, 16
Responsibility: met een samenvatting in het Nederlands

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/470636596> # Termination of higher-order rewrite systems
    a schema:CreativeWork, bgn:Thesis, schema:Book ;
   bgn:inSupportOf "Disputats, Utrecht 1996" ;
   library:oclcnum "470636596" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891317321#Place/utrecht> ; # Utrecht
   schema:creator <http://experiment.worldcat.org/entity/work/data/891317321#Person/pol_jan_cornelis_van_de_1969> ; # Jan Cornelis van de Pol
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891317321> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0927-3395> ; # Quaestiones infinitae ;
   schema:name "Termination of higher-order rewrite systems" ;
   schema:productID "470636596" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/470636596#PublicationEvent/utrecht_utrecht_university_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891317321#Agent/utrecht_university> ; # Utrecht University
   schema:workExample <http://worldcat.org/isbn/9789039313572> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/470636596> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/891317321#Agent/utrecht_university> # Utrecht University
    a bgn:Agent ;
   schema:name "Utrecht University" ;
    .

<http://experiment.worldcat.org/entity/work/data/891317321#Person/pol_jan_cornelis_van_de_1969> # Jan Cornelis van de Pol
    a schema:Person ;
   schema:birthDate "1969" ;
   schema:familyName "Pol" ;
   schema:givenName "Jan Cornelis van de" ;
   schema:name "Jan Cornelis van de Pol" ;
    .

<http://worldcat.org/isbn/9789039313572>
    a schema:ProductModel ;
   schema:isbn "9039313571" ;
   schema:isbn "9789039313572" ;
    .

<http://worldcat.org/issn/0927-3395> # Quaestiones infinitae ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/470636596> ; # Termination of higher-order rewrite systems
   schema:issn "0927-3395" ;
   schema:name "Quaestiones infinitae ;" ;
   schema:name "Quaestiones infinitae," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.