MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Mitsuhiro Okada – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Abstract Data Type Systems  
  • by Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada — 1997 — Theoretical Computer Science
  • …://www.lri.fr/~blanqui/ Mitsuhiro Okada Department of Philosophy, Keio University, 108 Minatoku, Tokyo, JAPAN Abstract In a previous…
  • Cited by 41 (9 self) – Add To MetaCart
  • Inductive-Data-Type Systems  
  • by Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada — 2002
  • ….elsevier.com/locate/tcs Frederic Blanqui a;∗ , Jean-Pierre Jouannaud a , Mitsuhiro Okada b a LRI, Bât. 490, Universite Paris…
  • Cited by 687 (19 self) – Add To MetaCart
  • Canonical Conditional Rewrite Systems*  
  • by Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar I
  • …Canonical Conditional Rewrite Systems* Nachum Dershowitz 1, Mitsuhiro Okada 2, and G. Sivakumar I…
  • Add To MetaCart
  • Confluence of Conditional Rewrite Systems*  
  • by Nachum Dershowitz I, Mitsuhiro Okada, G. Sivakumar
  • …Confluence of Conditional Rewrite Systems* Nachum Dershowitz I, Mitsuhiro Okada 2, and G…
  • Add To MetaCart
  • The Calculus of Algebraic Constructions  
  • by Fr'ed'eric Blanqui Jean-Pierre, Mitsuhiro Okada — 1999
  • … and Mitsuhiro Okada z y LRI, CNRS and Universit'e de Paris-Sud Bat. 405, 91405 Orsay Cedex, France z…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB