Abstract Analysis of Universal Properties for tccp

Marco Comini, Maria-del-Mar Gallardo, Laura Titolo, and Alicia Villanueva
July 2015
Cite DOI
Type
Conference paper
Publication
25th International Symposium on Logic-Based Program Synthesis and Transformation(LOPSTR 2015)