Search results for: Francisco-Jesus Martín-Mateos
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Contributed Papers and Poster Summaries > 92-106
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 75-91
Lecture Notes in Computer Science > Current Topics in Artificial Intelligence > Applications > 281-290
Applicable Algebra in Engineering, Communication and Computing > 2015 > 26 > 3 > 277-303
Annals of Mathematics and Artificial Intelligence > 2012 > 64 > 1 > 1-37
Journal of Automated Reasoning > 2011 > 47 > 3 > 229-250
Journal of Automated Reasoning > 2006 > 37 > 1-2 > 67-92
Journal of Automated Reasoning > 2004 > 32 > 4 > 287-313
Annals of Mathematics and Artificial Intelligence > 2002 > 36 > 3 > 239-262