Search results for: Maribel Fernández
Acta Ophthalmologica > 99 > 8 > 861 - 870
Acta Ophthalmologica > 98 > 7 > e820 - e829
Theoretical Computer Science > 2017 > 685 > C > 3-22
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 21-38
Theoretical Computer Science > 2017 > 672 > C > 64-100
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 57-74
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 39-56
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 109-124
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Proof and Computation > 182-195
Lecture Notes in Computer Science > LATIN 2000: Theoretical Informatics > Logic, Programming Theory > 447-456