You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Author is Laura Titolo [Clear All Filters]

Journal Article

M. Comini, Titolo, L., and Villanueva, A., “Abstract Diagnosis for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.

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.