Search results for: Micaela Mayero
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to Calculemus 2010 > 158-171
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 246-262
Journal of Automated Reasoning > 2015 > 54 > 1 > 1-29
Computers and Mathematics with Applications > 2014 > 68 > 3 > 325-352
Journal of Automated Reasoning > 2013 > 50 > 4 > 423-456
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 195-202
Electronic Notes in Theoretical Computer Science > 2008 > 214 > Complete > 231-254
Electronic Notes in Theoretical Computer Science > 2006 > 151 > 1 > 57-73
Journal of Symbolic Computation > 2005 > 39 > 5 > 569-592