| dc.contributor.author |
Piecha, Thomas (Hrsg.) |
|
| dc.contributor.author |
Schroeder-Heister, Peter (Hrsg.) |
|
| dc.date.accessioned |
2018-08-28T07:30:46Z |
|
| dc.date.available |
2018-08-28T07:30:46Z |
|
| dc.date.issued |
2018-08-28 |
|
| dc.identifier.other |
510437362 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/83835 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-838354 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-25225 |
|
| dc.description.abstract |
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018. It was part of Unilog'2018, the 6th World Congress and School on Universal Logic. The proceedings collect abstracts, slides and papers of the presentations given. |
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 |
Proof |
en |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Deduction |
en |
| dc.subject.other |
Beweistheoretische Semantik |
de_DE |
| dc.subject.other |
Automatisches Beweisen |
de_DE |
| dc.subject.other |
Automated Theorem Proving |
en |
| dc.subject.other |
Proof-Theoretic Semantics |
en |
| dc.title |
Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 |
en |
| dc.type |
ConferenceObject |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
