Search results for: Valeria de Paiva
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 143-161
Electronic Notes in Theoretical Computer Science > 2014 > 305 > Complete > 53-65
Electronic Notes in Theoretical Computer Science > 2014 > 300 > Complete > 3-20
Electronic Notes in Theoretical Computer Science > 2011 > 273 > Complete > 21-31
Electronic Notes in Theoretical Computer Science > 2011 > 269 > Complete > 83-94
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Theoretical Computer Science > 2004 > 315 > 1 > 83-107