> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Programming Languages and Systems: Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions Beteiligte: Forster, Yannick; Kirst, Dominik; Mück, Niklas Erschienen: Springer Nature Singapore, 2023 Erschienen in: Programming Languages and Systems (2023), Seite 155-181 Sprache: Nicht zu entscheiden DOI: 10.1007/978-981-99-8311-7_8 ISBN: 9789819983117; 9789819983100 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: