• 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: