Search results for: Hitoshi Ohsaki
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 114-128
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Joint RTA-TLCA Invited Talk > 483-498
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 337-351
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 1. Constraints and Optimization > 50-65
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 221-236
Formal Aspects of Computing > 2014 > 26 > 5 > 943-962
2012 19th Asia-Pacific Software Engineering Conference > 1 > 614 - 623
Electronic Notes in Theoretical Computer Science > 2005 > 124 > 1 > 97-111
Acta Informatica > 1999 > 36 > 12 > 1007-1029