( en | de | ru )

 

Disambiguierung von "Ueda, Kazunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MANDELA: A LogicBased Knowledge Programming System.

, , , , , und . FGCS, Seite 613-622. OHMSHA Ltd. Tokyo and North-Holland, (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.

Hirofumi Ueda

Shizuteru Ueda

Yoshiaki Ueda

Naoki Ueda

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., und . Math. Struct. Comput. Sci., 25 (4): 764 (2015)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)Constraint-Based Concurrency and Beyond.. APC 25, Volume 162 von Electronic Notes in Theoretical Computer Science, Seite 327-331. Elsevier, (2005)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)Asymmetric DHT Based on Performance of Peers., und . APNOMS, Volume 5787 von Lecture Notes in Computer Science, Seite 427-430. Springer, (2009)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)MANDELA: A LogicBased Knowledge Programming System., , , , , und . FGCS, Seite 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)