( en | de | ru )

 

Disambiguierung von "Dovier, Agostino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Comparing Expressiveness of Set Constructor Symbols.

, , und . FroCoS, Volume 1794 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2000)

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.

Agostino Mazziotta

Agostino Sottili

Agostino Portera

Mario Agostino Rocca

Mario Agostino Rocca

 

Weitere Publikationen von Autoren mit dem selben Namen

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , und . APPIA-GULP-PRODE, Seite 43-56. (1998)A necessary condition for Constructive Negation in Constraint Logic Programming., , und . Inf. Process. Lett., 74 (3-4): 147-156 (2000)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints., , , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 850-866. Springer, (2012)A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 48-63. Springer, (2005)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)Answer Set Programming with Constraints Using Lazy Grounding., , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 115-129. Springer, (2009)Multivalued Action Languages with Constraints in CLP(FD)., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 255-270. Springer, (2007)A GPU Implementation of the ASP Computation., , , und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2016)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)