skip to content
Mixed inductive-coinductive reasoning : types, programs and logic Preview this item
ClosePreview this item
Checking...

Mixed inductive-coinductive reasoning : types, programs and logic

Author: Henning Basold; J J M M Rutten; H Geuvers
Publisher: Nijmegen : Radboud Universiteit, 2018
Dissertation: PhD thesis Radboud Universiteit
Edition/Format:  Thesis/dissertation : Thesis/dissertation : English
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: Henning Basold; J J M M Rutten; H Geuvers
ISBN: 9780244672065 0244672067
OCLC Number: 1084613726
Description: 330 p. ; 24 cm.

Reviews

User-contributed 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\/1084613726<\/a>> # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Thesis<\/a>, schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"PhD thesis Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> ; # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> ; # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> ; # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> ; # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/8899379622<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"330<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/nijmegen_radboud_universiteit<\/a>> ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> ; # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780244672065<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Basold<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Henning<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Henning Basold<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"H.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"H. Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Rutten<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"J. J. M. M.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"J. J. M. M. Rutten<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Nijmegen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"ne<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780244672065<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0244672067<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780244672065<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1084613726<\/a>> ; # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-06<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n