Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hitoshi Ohsaki
Type Introduction for Equational Rewriting
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Combining Equational Tree Automata Over AC and ACI Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Introduction: Rewriting Decisions From a Perspective of Human Rights Integration
Reducing Equational Theories for the Decision of Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Congruences for Contextual Graph-Rewriting
BRICS Report Series
Optimizing Equational Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Decision Problems for Equational Theories of Relation Algebras
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Simplification Orders for Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Feasible Trace Reconstruction for Rewriting Approximations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
