> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Herbrand's theorem as higher order recursion Beteiligte: Afshari, Bahareh [VerfasserIn]; Hetzl, Stefan [VerfasserIn]; Leigh, Graham E. [VerfasserIn] Erschienen: Oberwolfach-Walke: Mathematisches Forschungsinstitut, 2018 Erschienen in: Oberwolfach preprints ; 2018,01 Umfang: 1 Online-Ressource (52 Seiten) Sprache: Englisch DOI: 10.14760/OWP-2018-01 Identifikator: Entstehung: Anmerkungen: Beschreibung: We provide a means to compute Herbrand disjunctions directly from sequent calculus proofs with cuts. Zugangsstatus: Freier Zugang