
Search the dblp DataBase
Hitoshi Ohsaki:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Joe Hendrix, José Meseguer, Hitoshi Ohsaki
A Sufficient Completeness Checker for Linear OrderSorted Specifications Modulo Axioms. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:151155 [Conf]
 Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema
Transforming Termination by SelfLabelling. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:373387 [Conf]
 Hitoshi Ohsaki
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. [Citation Graph (0, 0)][DBLP] CSL, 2001, pp:539553 [Conf]
 Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl
Equational Termination by Semantic Labelling. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:457471 [Conf]
 Hitoshi Ohsaki, Aart Middeldorp
Type Introduction for Equational Rewriting. [Citation Graph (0, 0)][DBLP] LFCS, 1997, pp:283293 [Conf]
 Hitoshi Ohsaki, JeanMarc Talbot, Sophie Tison, Yves Roos
Monotone ACTree Automata. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:337351 [Conf]
 Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
Propositional Tree Automata. [Citation Graph (0, 0)][DBLP] RTA, 2006, pp:5065 [Conf]
 Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
Recognizing Boolean Closed ATree Languages with Membership Conditional Rewriting Mechanism. [Citation Graph (0, 0)][DBLP] RTA, 2003, pp:483498 [Conf]
 Hitoshi Ohsaki, Toshinori Takai
Decidability and Closure Properties of Equational Tree Languages. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:114128 [Conf]
 Aart Middeldorp, Hitoshi Ohsaki
Type Introduction for Equational Rewriting. [Citation Graph (0, 0)][DBLP] Acta Inf., 2000, v:36, n:12, pp:10071029 [Journal]
 Hitoshi Ohsaki, Toshinori Takai
ACTAS : A System Design for Associative and Commutative Tree Automata Theory. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:97111 [Journal]
 Hitoshi Ohsaki, Hiroyuki Seki
Languages Modulo Normalization. [Citation Graph (0, 0)][DBLP] FroCos, 2007, pp:221236 [Conf]
Tree Automata for Nonlinear Arithmetic. [Citation Graph (, )][DBLP]
Combining Equational Tree Automata over AC and ACI Theories. [Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.028secs
