MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ichiro Hasuo" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Generic forward and backward simulations  
  • by Ichiro Hasuo, Ichiro Hasuo — 2006 — International Conference on Concurrency Theory (CONCUR 2006), volume 4137 of Lect. Notes Comp. Sci
  • …Generic Forward and Backward Simulations Ichiro Hasuo Institute for Computing and Information…
  • Cited by 8 (3 self) – Add To MetaCart
  • Context-free languages via coalgebraic trace semantics  
  • by Ichiro Hasuo, Bart Jacobs — 2005 — International Conference on Algebra and Coalgebra in Computer Science (CALCO’05), volume 3629 of Lect. Notes Comp. Sci
  • …Context-free Languages via Coalgebraic Trace Semantics Ichiro Hasuo and Bart Jacobs Institute…
  • Cited by 9 (7 self) – Add To MetaCart
  • Freyd is Kleisli, for arrows  
  • by Bart Jacobs, Ichiro Hasuo — 2006 — In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS
  • …Freyd is Kleisli, for Arrows Bart Jacobs 1,2 Ichiro Hasuo 2 Institute for Computing…
  • Cited by 2 (1 self) – Add To MetaCart
  • Modal Logics for Coalgebras  
  • by Ichiro Hasuo Department, Ichiro Hasuo — 2003
  • …Modal Logics for Coalgebras Ichiro HASUO # Department of Mathematical and Computing Sciences…
  • Add To MetaCart
  • Generic trace theory  
  • by Ichiro Hasuo, Bart Jacobs, Ana Sokolova — 2006 — International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), volume 164 of Elect. Notes in Theor. Comp. Sci
  • …Abstract CMCS 2006 Generic Trace Theory Ichiro Hasuo Bart Jacobs Ana Sokolova Institute…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB