Axiomatizations of compositional inductive-recursive definitions

DSpace Repository

Axiomatizations of compositional inductive-recursive definitions

Author: Spahn, Stephan
Tübinger Autor(en):
Spahn, Stephan
Other Contributors: Eberhard Karls Universität Tübingen
Issue year: 2018
Verlagsangabe: Tübingen
Language: English
Full text: http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-846815
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Dokumentart: PhDThesis
Pages: xiv, 180 Seiten
Reference: 512681910
512681562
Note: 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),
Show full item record

This item appears in the following Collection(s)