Axiomatizations of compositional inductive-recursive definitions

dc.contributor	Eberhard Karls Universität Tübingen	de_DE
dc.contributor.author	Spahn, Stephan	de_DE
dc.date.accessioned	2019-01-15T08:38:33Z
dc.date.available	2019-01-15T08:38:33Z
dc.date.issued	2018	de_DE
dc.identifier.uri	http://hdl.handle.net/10900/85621
dc.language.iso	en
dc.publisher	Tübingen	de_DE
dc.relation.uri	http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-846815	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	100	de_DE
dc.subject.ddc	510	de_DE
dc.title	Axiomatizations of compositional inductive-recursive definitions	de_DE
dc.type	PhDThesis	de_DE
utue.artikel.swb	512681910	de_DE
utue.artikel.swb	512681562	de_DE
utue.kommentar.intern	Dissertation, Eberhard Karls Universität Tübingen, 2018; Erscheint auch als, Online-Ausgabe, Spahn, Stephan, Axiomatizations of compositional inductive-recursive definitions, Tübingen, 2018, 1 Online-Ressource (xiv, 180 Seiten),	de_DE
utue.personen.pnd	Spahn, Stephan/512681554	de_DE
utue.personen.roh	Spahn, Stephan	de_DE
utue.publikation.seitengesamt	xiv, 180 Seiten	de_DE
utue.titel.verfasserangabe	vorgelegt von Stephan Alexander Spahn	de_DE
utue.publikation.abrufzeichen	tdis	de_DE
utue.publikation.swbdatum	1811	de_DE
utue.publikation.ddcroh	004	de_DE
utue.publikation.ddcroh	100	de_DE
utue.publikation.ddcroh	510	de_DE
utue.publikation.fachbereich	57	de_DE
utue.publikation.fakultaet	7 Mathematisch-Naturwissenschaftliche Fakultät	de_DE