TU Darmstadt / ULB / TUbiblio

An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras

Hofmann, Martin :
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.
In: The bulletin of symbolic logic. 3 (1997), S. 469-485
[Artikel], (1997)

Typ des Eintrags: Artikel
Erschienen: 1997
Autor(en): Hofmann, Martin
Titel: An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: The bulletin of symbolic logic. 3 (1997), S. 469-485
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:03
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen