Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yuki CHIBA
Program Transformation Templates for Tupling Based on Term Rewriting
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Related publications
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Simplification Orders for Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foreword: Special Issue on Term and Graph Rewriting
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Link-Time Binary Rewriting Techniques for Program Compaction
ACM Transactions on Programming Languages and Systems
Software
Matrix Interpretations for Proving Termination of Term Rewriting
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Confluence of Curried Term-Rewriting Systems
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
On the Modularity of Confluence in Infinitary Term 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
Hardware Synthesis From Term Rewriting Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
