Techreport,

Locally definable acceptance types for polynomial time machines.

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

Meta data

Tags

Users

  • @trcsuniwue

Comments and Reviews