Search results for: Martín Escardó
Annals of Pure and Applied Logic > 2016 > 167 > 9 > 770-793
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Formal Method > 566-575
Electronic Notes in Theoretical Computer Science > 2013 > 298 > Complete > 119-141
Annals of Pure and Applied Logic > 2012 > 163 > 6 > 681-692
Electronic Notes in Theoretical Computer Science > 2009 > 249 > Complete > 219-242
Theoretical Computer Science > 2006 > 357 > 1-3 > 230-240