The top documents tagged [termrulesone definition]

Continuation calculus at Term Rewriting Seminar
Technology Continuation calculus at Term Rewriting Seminar

600 views