You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 33 results:

BibTex

Filters: First Letter Of Last Name is V and 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