Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019

DSpace Repository

Show simple item record

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 Konferenzveröffentlichung de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record