Autor der Publikation

A Complete Axiom System for Algebra of Closed-Regular Expression.

, , und . ICALP, Volume 172 von Lecture Notes in Computer Science, Seite 260-269. Springer, (1984)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Inagaki, Yasuyoshi
Eine Person hinzufügen mit dem Namen Inagaki, Yasuyoshi
 

Weitere Publikationen von Autoren mit dem selben Namen

An Extension of the Testing Method for Processes Passing Infinite Values., , und . NAPAW, Seite 155-173. Springer, (1992)Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning., , und . DISCO, Volume 722 von Lecture Notes in Computer Science, Seite 256-271. Springer, (1993)Example-Based Query Generation for Spontaneous Speech., , , und . IEICE Trans. Inf. Syst., 88-D (2): 324-329 (2005)Addressable Approximations to Nonaddressable Data Graphs., , und . J. Comput. Syst. Sci., 17 (1): 1-34 (1978)Speech intention understanding based on decision tree learning., , , , und . INTERSPEECH, Seite 2185-2188. ISCA, (2004)Example-based spoken dialogue system with online example augmentation., , , , , und . INTERSPEECH, Seite 3073-3076. ISCA, (2004)Construction of an advanced in-car spoken dialogue corpus and its characteristic analysis., , , , , und . INTERSPEECH, Seite 1581-1584. ISCA, (2003)Verification system for partial correctness of communicating sequential processes., und . Syst. Comput. Jpn., 17 (11): 11-20 (1986)A parallel algorithm for tree pattern matching., , und . Syst. Comput. Jpn., 24 (5): 30-39 (1993)Incremental dependency parsing based on headed context-free grammar., , , und . Syst. Comput. Jpn., 36 (2): 63-77 (2005)