Techreport,

Locally definable acceptance types-the three valued case.

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

Meta data

Tags

Users

  • @trcsuniwue

Comments and Reviews