Proof Theory

DSpace Repository

Show simple item record Piecha, Thomas Schroeder-Heister, Peter 2019-06-07T14:36:28Z 2019-06-07T14:36:28Z 2018-08-28
dc.language.iso en de_DE
dc.relation.uri 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