Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
DC Field
Value
Language
dc.contributor.author
Aschieri, Federico
-
dc.contributor.author
Genco, Francesco
-
dc.contributor.author
Ciabattoni, Agata
-
dc.date.accessioned
2022-08-04T15:58:30Z
-
dc.date.available
2022-08-04T15:58:30Z
-
dc.date.issued
2018
-
dc.identifier.citation
<div class="csl-bib-body">
<div class="csl-entry">Aschieri, F., Genco, F., & Ciabattoni, A. (2018). Classical Proofs as Parallel Programs. In <i>Electronic Proceedings in Theoretical Computer Science</i> (pp. 43–57). https://doi.org/10.4204/eptcs.277.4</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55492
-
dc.relation.ispartofseries
Electronic Proceedings in Theoretical Computer Science
-
dc.subject
General Earth and Planetary Sciences
-
dc.subject
General Environmental Science
-
dc.subject
General Engineering
-
dc.title
Classical Proofs as Parallel Programs
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Electronic Proceedings in Theoretical Computer Science
-
dc.description.startpage
43
-
dc.description.endpage
57
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2075-2180
-
tuw.booktitle
Electronic Proceedings in Theoretical Computer Science
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Electronic Proceedings in Theoretical Computer Science
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.4204/eptcs.277.4
-
dc.description.numberOfPages
15
-
tuw.event.name
Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
