×

Found 5 Documents (Results 1–5)

Confluence of cut-elimination procedures for the intuitionistic sequent calculus. (English) Zbl 1150.03337

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 398-407 (2007).
MSC:  03F05 03B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field