skip to content
Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands) Preview this item
ClosePreview this item
Checking...

Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands)

Author: Jan Cornelis van de Pol
Dissertation: Proef. Utrecht, 1996.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : Manuscript   Archival Material : 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, Manuscript
Document Type: Book, Archival Material
All Authors / Contributors: Jan Cornelis van de Pol
ISBN: 9039313571 9789039313572
OCLC Number: 717510059
Description: 147 p. ; 24 cm
Responsibility: Jan Cornelis van de Pol.

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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/717510059<\/a>> # Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, pto:Manuscript<\/a>, schema:IndividualProduct<\/a>, bgn:Thesis<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"Proef. Utrecht, 1996.<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"717510059<\/span>\" ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#CreativeWork\/terminatie_van_hogere_orde_herschrijfsystemen_van<\/a>> ; # Terminatie van hogere-orde herschrijfsystemen van.<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#Person\/pol_jan_cornelis_van_de<\/a>> ; # Jan Cornelis van de Pol<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#Person\/pol_jan_cornelis_van_de<\/a>> ; # Jan Cornelis van de Pol<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1996<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/891317321<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands)<\/span>\" ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"147<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"717510059<\/span>\" ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9789039313572<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/717510059<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#CreativeWork\/terminatie_van_hogere_orde_herschrijfsystemen_van<\/a>> # Terminatie van hogere-orde herschrijfsystemen van.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#Person\/pol_jan_cornelis_van_de<\/a>> ; # Jan Cornelis van de Pol<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Terminatie van hogere-orde herschrijfsystemen van.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/891317321#Person\/pol_jan_cornelis_van_de<\/a>> # Jan Cornelis van de Pol<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Pol<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Jan. Cornelis van de<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Jan Cornelis van de<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Jan Cornelis van de Pol<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9789039313572<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9039313571<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9789039313572<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/717510059<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/717510059<\/a>> ; # Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen : (met een samenvatting in het Nederlands)<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-12-20<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n