Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yoshiharu Kojima
Term Rewriting With Prefix Context Constraints and Bottom-Up Strategies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Some Applications of Prefix-Rewriting in Monoids, Groups, and Rings
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
BRICS Report Series
Rewriting Strategies and Strategic Rewrite Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination of Rewriting Under Strategies
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Comparing Effectiveness of Top-Down and Bottom-Up Strategies in Containing Influenza
PLoS ONE
Multidisciplinary
Regularity and Context-Freeness Over Word Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Context-Free Rewriting With a Simple Restriction and Its Computational Completeness
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Confluence of Curried Term-Rewriting Systems
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
