( en | de | ru )

 

Disambiguierung von "Schachte, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Precise goal-independent abstract interpretation of constraint logic programs.

. Theor. Comput. Sci., 293 (3): 557-577 (2003)

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)

Helena 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)A lightweight approach to nontermination inference using Constrained Horn Clauses., , , , und . Softw. Syst. Model., 23 (2): 319-342 (April 2024)Binary Decision Diagrams for Affine Approximation, , , und . CoRR, (2008)Transformation-Enabled Precondition Inference., , , , und . Theory Pract. Log. Program., 21 (6): 700-716 (2021)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)Adtpp: lightweight efficient safe polymorphic algebraic data types for C., , und . Softw. Pract. Exp., 46 (12): 1685-1703 (2016)Un-Kleene Boolean equation Solving., , und . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)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)