Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. R. Sleep
Transfinite Reductions in Orthogonal Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Confluence of Curried Term-Rewriting Systems
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Hardware Synthesis From Term Rewriting Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Critical Pairs in Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simplification Orders for Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Term-Graph Rewriting via Explicit Paths
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Term Rewriting Meets Aspect-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
