Autor der Publikation

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata.

, und . ILC, Volume 5489 von Lecture Notes in Computer Science, Seite 46-55. Springer, (2007)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Containment for Conditional Tree Patterns., , , und . Logical Methods in Computer Science, (2015)The Power of the Weak., , , und . ACM Trans. Comput. Log., 21 (2): 15:1-15:47 (2020)Definable Operations On Weakly Recognizable Sets of Trees., , und . FSTTCS, Volume 13 von LIPIcs, Seite 363-374. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Machine Learning and Theory Ladenness - A Phenomenological Account., , und . CoRR, (2024)Building Causal Interaction Models by Recursive Unfolding., , und . PGM, Volume 138 von Proceedings of Machine Learning Research, Seite 509-520. PMLR, (2020)Dalal's Revision in Sentential Decision Diagrams., , und . ISAIM, (2022)Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs., und . MFCS, Volume 6907 von Lecture Notes in Computer Science, Seite 290-302. Springer, (2011)Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach., , und . CoRR, (2024)Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I)., und . CiE, Volume 5028 von Lecture Notes in Computer Science, Seite 186-195. Springer, (2008)Index problems for game automata., , und . CoRR, (2015)