( en | de | ru )

 

Disambiguierung von "Schnoebelen, Philippe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering.

, , , , und . CoRR, (2019)

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.

Philippe Moisan

Philippe Zysset

Philippe Dreuw

Philippe Kersting

Philippe Bopp

 

Weitere Publikationen von Autoren mit dem selben Namen

The Height of Piecewise-Testable Languages with Applications in Logical Complexity., und . CSL, Volume 62 von LIPIcs, Seite 37:1-37:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems., und . Nord. J. Comput., 9 (1): 118-144 (2002)On the index of Simon's congruence for piecewise testability., und . CoRR, (2013)On flat lossy channel machines.. CoRR, (2020)Fundamental Structures in Well-Structured Infinite Transition Systems., und . LATIN, Volume 1380 von Lecture Notes in Computer Science, Seite 102-118. Springer, (1998)Model Checking Timed Automata with One or Two Clocks., , und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2004)Verifying Performance Equivalence for Timed Basic Parallel Processes., , und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 35-47. Springer, (2000)Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets.. MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 616-628. Springer, (2010)On the piecewise complexity of words and periodic words., , , und . CoRR, (2023)On Reachability for Unidirectional Channel Systems Extended with Regular Tests., , und . Log. Methods Comput. Sci., (2015)