( en | de | ru )

 

Disambiguierung von "Schachte, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Bounded Path Propagator on Directed Graphs.

, , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 189-206. Springer, (2016)

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.

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)

Robert Martin Peterreins

Musikhörfähigkeit von Patienten mit elektroakustischer Stimulation: Testung anhand des Mu.S.I.C.-Tests. TU München, (2009)

Ursula Peters

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling CP subproblems to MDDs and d-DNNFs., , , und . Constraints An Int. J., 24 (1): 56-93 (2019)Un-Kleene Boolean equation Solving., , und . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)Adtpp: lightweight efficient safe polymorphic algebraic data types for C., , und . Softw. Pract. Exp., 46 (12): 1685-1703 (2016)Global Variables in Logic Programming.. ICLP, Seite 3-17. MIT Press, (1997)Precise goal-independent abstract interpretation of constraint logic programs.. Theor. Comput. Sci., 293 (3): 557-577 (2003)Transformation-Enabled Precondition Inference., , , , und . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Binary Decision Diagrams for Affine Approximation, , , und . CoRR, (2008)Constraint Programming for Dynamic Symbolic Execution of JavaScript., , , , , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2019)Lightweight Nontermination Inference with CHCs., , , , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2021)Size-Change Termination Analysis in k-Bits., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2006)