×

Found 42 Documents (Results 1–42)

Newest Citations Relevance
Blot, Valentin

Diller-Nahm bar recursion. (English) Zbl 07929347

Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 32, 16 p. (2023).
MSC:  03B70 68Qxx
Cite Review PDF
Full Text: DOI
Aschieri, Federico

Transfinite update procedures for predicative systems of analysis. (English) Zbl 1247.03123

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 20-34, electronic only (2011).
MSC:  03F35 03F50
Cite Review PDF
Full Text: DOI Link
Berger, Ulrich; Oliva, Paulo

Modified bar recursion and classical dependent choice. (English) Zbl 1081.03059

Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 89-107 (2005).
MSC:  03F35 03D65 03E25
Cite Review PDF
Takaki, O.; Yasugi, M.

Modified realizability for TRDB. (English) Zbl 1023.03057

Nehaniv, Chrystopher L. (ed.) et al., Algebraic engineering. Proceedings of the international workshop on formal languages and computer systems, Kyoto, Japan, March 18-21, 1997 and proceedings of the first international conference on semigroups and algebraic engineering held in Aizu, Japan, March 24-28, 1997. Singapore: World Scientific. 186-200 (1999).
MSC:  03F30
Cite Review PDF

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field