Article,

Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen.

, and .
Bulletin of the EATCS, (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews