Search results for: Jesús Aransay
Formal Aspects of Computing > 2016 > 28 > 6 > 1005-1026
Journal of Automated Reasoning > 2017 > 58 > 4 > 509-535
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 222-235
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Intelligent Information Processing > 203-210
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2005 > Intelligent Information Systems > 159-168
Formal Aspects of Computing > 2010 > 22 > 2 > 193-213
Journal of Automated Reasoning > 2008 > 40 > 4 > 271-292