Expansion trees with cut

Record link:

Title:

Citation:

Hetzl, S., & Weller, D. (2013). Expansion trees with cut (p. 25). arXiv. https://doi.org/10.48550/arXiv.1308.0428

Publisher DOI:

Publication Type:

Preprint

Authors:

Organisational Unit:

E104-02 - Forschungsbereich Computational Logic

ArXiv ID:

1308.0428

Date (published):

2013

Number of Pages:

Preprint Server:

arXiv

Science Branch:

Mathematik, Informatik

Appears in Collections:

Show full item record

checked on Mar 2, 2023

Check