( en | de | ru )

 

Disambiguierung von "Ueda, Kazunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.

, , , , und . ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 349-355. Springer, (2009)

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.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Weitere Publikationen von Autoren mit dem selben Namen

MANDELA: A LogicBased Knowledge Programming System., , , , , und . FGCS, Seite 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., und . FGCS, Seite 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)c-sat: A Parallel SAT Solver for Clusters., und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 524-537. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 457-458. Springer, (2006)Asymmetric DHT Based on Performance of Peers., und . APNOMS, Volume 5787 von Lecture Notes in Computer Science, Seite 427-430. Springer, (2009)Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , und . ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 349-355. Springer, (2009)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 17-30. Springer, (2016)Type checking data structures more complex than trees., , und . CoRR, (2022)Diagnosing Non-Well-Moded Concurrent Logic Programs., und . JICSLP, Seite 215-229. MIT Press, (1996)In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.. ICCTA, Seite 5-6. IEEE, (2022)