Search results for: Kenichi Asai
Lecture Notes in Computer Science > New Frontiers in Artificial Intelligence > Logic and Engineering of Natural Language Semantics > 161-180
Lecture Notes in Computer Science > Static Analysis > Abstract Domains > 117-133
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Technical Papers > 126-145
Higher-Order and Symbolic Computation > 2011 > 24 > 4 > 311-340
Welding in the World > 2010 > 54 > 1-2 > R42-R48
Welding in the World > 2010 > 54 > 1-2 > R42-R48
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 275-291
New Generation Computing > 2002 > 20 > 1 > 27-51