Proof Theory

DSpace Repository

Show simple item record

dc.contributor.author Piecha, Thomas
dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2019-06-07T14:36:28Z
dc.date.available 2019-06-07T14:36:28Z
dc.date.issued 2018-08-28
dc.identifier.uri http://hdl.handle.net/10900/89438
dc.language.iso en de_DE
dc.relation.uri http://dx.doi.org/10.15496/publikation-25225 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.title Proof Theory de_DE
dc.type Artikel de_DE
dc.type Konferenzveröffentlichung de_DE
utue.personen.roh Piecha, Thomas
utue.personen.roh Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 de_DE


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record