Search results for: Daniel Gorín
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invariants and Termination > 65-80
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 125-141
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 164-178
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 2: Contributed Papers > 135-145
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 47-61
Journal of Computer and System Sciences > 2014 > 80 > 6 > 1102-1118
Software: Practice and Experience > 43 > 4 > 403 - 418
Electronic Notes in Theoretical Computer Science > 2011 > 278 > Complete > 3-16
Journal of Automated Reasoning > 2011 > 46 > 1 > 1-42
Journal of Applied Logic > 2010 > 8 > 4 > 305-318
Journal of Computer and System Sciences > 2010 > 76 > 5 > 333-346
Gastrointestinal Endoscopy > 1996 > 44 > 6 > 650-655