Author: | Spahn, Stephan | |
Tübinger Autor(en): |
|
|
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 |