Search results for: M. J. Hidalgo
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 182-198
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 49-58
Journal of Automated Reasoning > 2014 > 52 > 3 > 331-360