Veröffentlichter Bericht einer Hochschule/Institution,

Locally definable acceptance types for polynomial time machines.

.
Technical Report, 29. Department of Computer Science, (Juli 1991)

Metadaten

Tags

Nutzer

  • @trcsuniwue

Kommentare und Rezensionen