Dateien: | ||
URI: |
http://hdl.handle.net/10900/106175
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1061750 http://dx.doi.org/10.15496/publikation-47553 |
Dokumentart: | PhDThesis |
Date: | 2020-09-03 |
Language: | English |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Informatik |
Advisor: | Schroeder-Heister, Peter (Prof. Dr.) |
Day of Oral Examination: | 2020-07-20 |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy 510 - Mathematics |
Keywords: | Logik , Vorkommen , Logische Sprache , Formale Sprache , Substitution |
Other Keywords: |
logic occurrence formal language |
License: | http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en |
Show full item record |