skip to content
Enhanced coinduction Preview this item
ClosePreview this item
Checking...

Enhanced coinduction

Author: Jurriaan Cornelis Rot
Publisher: [Netherlands] : [publisher not identified], [2015] ©2015
Dissertation: Dissertation Leiden University in order to obtain the degree of Doctor in the year 2015.
Series: IPA dissertation series, 2015-18.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Academic theses
Proefschriften (vorm)
Additional Physical Format: Enhanced coinduction
(NL-LeOCL)397187912
Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Jurriaan Cornelis Rot
ISBN: 9789462991743 946299174X
OCLC Number: 923738191
Description: 182 pages : illustrations ; 25 cm
Series Title: IPA dissertation series, 2015-18.
Responsibility: Jurriaan Cornelis Rot.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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\/923738191<\/a>> # Enhanced coinduction<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, bgn:Thesis<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"Dissertation Leiden University in order to obtain the degree of Doctor in the year 2015.<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"923738191<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Topic\/31_00_mathematics_general<\/a>> ; # 31.00 mathematics: general<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Person\/rot_jurriaan_cornelis_1987<\/a>> ; # Jurriaan Cornelis Rot<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2015<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/2758893125<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Proefschriften (vorm)<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Academic theses<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Series\/ipa_dissertation_series<\/a>> ; # IPA dissertation series ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/2758893125#CreativeWork\/enhanced_coinduction<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Enhanced coinduction<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"923738191<\/span>\" ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9789462991743<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/923738191<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Person\/rot_jurriaan_cornelis_1987<\/a>> # Jurriaan Cornelis Rot<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1987<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Rot<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Jurriaan Cornelis<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Jurriaan Cornelis Rot<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Series\/ipa_dissertation_series<\/a>> # IPA dissertation series ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/923738191<\/a>> ; # Enhanced coinduction<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"IPA dissertation series ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/2758893125#Topic\/31_00_mathematics_general<\/a>> # 31.00 mathematics: general<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"31.00 mathematics: general<\/span>\"@en<\/a> ;\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\/entity\/work\/data\/2758893125#CreativeWork\/enhanced_coinduction<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Enhanced coinduction<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/923738191<\/a>> ; # Enhanced coinduction<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9789462991743<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"946299174X<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9789462991743<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n