( en | de | ru )

 

Disambiguierung von "Devienne, Philippe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Classes of Set Constraints with Tree Automata.

, , und . CP, Volume 1330 von Lecture Notes in Computer Science, Seite 62-76. Springer, (1997)

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 Dreuw

Philippe Kersting

Philippe Bopp

Philippe Moisan

Philippe Zysset

 

Weitere Publikationen von Autoren mit dem selben Namen

Halting Problem of One Binary Horn Clause id Undecidable., , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 5-14. Mathematical Sciences Institute, Cornell University, (1992)Solving Classes of Set Constraints with Tree Automata., , und . CP, Volume 1330 von Lecture Notes in Computer Science, Seite 62-76. Springer, (1997)The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable., , und . ILPS, Seite 250-265. MIT Press, (1993)Prolog Program Transformations and Meta-Interpreters., , und . LOPSTR, Seite 238-251. Springer, (1991)Weighted Systems Revisited., , und . WSA, Volume 81-82 von Series Bigre, Seite 163-173. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.. FGCS, Seite 397-404. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)BHDL: Circuit Design in B., , , , und . ACSD, Seite 241-242. IEEE Computer Society, (2003)Co-Design and Refinement for Safety Critical Systems., und . DFT, Seite 78-86. IEEE Computer Society, (2004)Halting Problem of One Binary Horn Clause is Undecidable., , und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 48-57. Springer, (1993)VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks., , , und . CBMI, Seite 1-6. IEEE, (2021)