Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018

DSpace Repository

Show simple item record

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 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