Right-linear half-monadic term rewrite systems

Sándor Vágvölgyi. Right-linear half-monadic term rewrite systems. Theoretical Computer Science, 309(1-3):195-211, 2003. [doi]

No reviews for this publication, yet.