TU Darmstadt / ULB / TUbiblio

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

Hofmann, Martin (1997):
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, [Article]

Item Type: Article
Erschienen: 1997
Creators: Hofmann, Martin
Title: An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras
Language: English
Journal or Publication Title: The bulletin of symbolic logic. 3 (1997), S. 469-485
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:03
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item