( en | de | ru )

 

Disambiguierung von "Schachte, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Binary Decision Diagrams for Affine Approximation

, , , und . CoRR, (2008)

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)Global Variables in Logic Programming.. ICLP, Seite 3-17. MIT Press, (1997)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)Precise goal-independent abstract interpretation of constraint logic programs.. Theor. Comput. Sci., 293 (3): 557-577 (2003)Binary Decision Diagrams for Affine Approximation, , , und . CoRR, (2008)Transformation-Enabled Precondition Inference., , , , und . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Lightweight Nontermination Inference with CHCs., , , , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2021)Constraint Programming for Dynamic Symbolic Execution of JavaScript., , , , , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2019)Size-Change Termination Analysis in k-Bits., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2006)