Search results for: C. Caleiro
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 185-200
Fundamenta Informaticae > 2011 > Vol. 106, nr 2-4 > 191-209
Journal of Logic, Language and Information > 2003 > 12 > 2 > 183-211
Journal of Symbolic Computation > 1996 > 22 > 5-6 > 521-553