Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by James C. Hoe
Hardware Synthesis From Term Rewriting Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Real Time Stereo Vision Using Exponential Step Cost Aggregation on GPU
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
Transfinite Reductions in Orthogonal Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
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
Critical Pairs in 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
Rethinking Components: From Hardware and Software to Systems
Proceedings of the IEEE
Electronic Engineering
Electrical
Computer Science
