Implementing First-Order Rewriting with Constructor Systems

Satish R. Thatte. Implementing First-Order Rewriting with Constructor Systems. Theoretical Computer Science, 61:83-92, 1988.

No reviews for this publication, yet.