| dc.contributor.author |
Piecha, Thomas |
|
| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2019-10-28T07:39:08Z |
|
| dc.date.available |
2019-10-28T07:39:08Z |
|
| dc.date.issued |
2019-10-28 |
|
| dc.identifier.other |
168004401X |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/93935 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-939353 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-35319 |
|
| dc.description.abstract |
The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the University of Tübingen from the 27th to the 30th of March 2019. These proceedings contain all abstracts, the slides of most presentations and also a number of full papers, including a transcript of the talk by Per Martin-Löf. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Beweis , Beweistheorie , Deduktion |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.ddc |
510 |
de_DE |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Automatisches Beweisen |
de_DE |
| dc.subject.other |
Beweistheoretische Semantik |
de_DE |
| dc.subject.other |
Proof |
en |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Automated Theorem Proving |
en |
| dc.subject.other |
Proof-Theoretic Semantics |
en |
| dc.subject.other |
Deduction |
en |
| dc.title |
Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019 |
en |
| dc.type |
ConferenceObject |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
