You are here

Home

Publications

Export 33 results:
Filters: Author is Alicia Villanueva  [Clear All Filters]
Technical Report
M. Comini, Titolo, L., and Villanueva, A., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”. Dipartimento di Matematica e Informatica, U. di Udine, 2011.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.
M. Alpuente, Gramlich, B., and Villanueva, A., “Timed Concurrent Constraint programming with External Functions”. DSIC, UPV, 2006.

Pages

created with Drupal | customized by Giovanni Bacci