
Search the dblp DataBase
Yasuwo Ikeda:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Labeled @Calculus: Formalism for TimeConcerned Human Factors. [Citation Graph (0, 0)][DBLP] AISC, 2006, pp:2539 [Conf]
 Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
On the elimination of some higher type quantifiers. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:771779 [Journal]
 Chiharu Hosono, Yasuwo Ikeda
A Formal Derivation of the Decidability of the Theory SA. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:127, n:1, pp:123 [Journal]
Formal Representation and Analysis of a Near Miss Accident in N Sigmalabeled Calculus. [Citation Graph (, )][DBLP]
Formal Specification and Experiments of an Expressive HumanComputer Ensemble System with Rehearsal. [Citation Graph (, )][DBLP]
Formal Analysis of an Airplane Accident in NSigmaLabeled Calculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
