Search results for: Carlos Caleiro
Theoretical Computer Science > 2011 > 412 > 31 > 4007-4043
Electronic Notes in Theoretical Computer Science > 2009 > 253 > 3 > 143-165
Studia Logica > 2009 > 91 > 1 > 63-111
Logica Universalis > 2007 > 1 > 1 > 71-92
Theoretical Computer Science > 2006 > 367 > 1-2 > 88-122
Electronic Notes in Theoretical Computer Science > 2005 > 135 > 1 > 3-22
Electronic Notes in Theoretical Computer Science > 2005 > 125 > 1 > 67-89
Acta Informatica > 1999 > 36 > 8 > 591-616
Acta Informatica > 1998 > 35 > 9 > 729-773
Studia Logica > 1997 > 59 > 2 > 217-247