Search results for: María Alpuente
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 235--273
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 215-231
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P1) > 707-736
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 182-198
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 341-346
Lecture Notes in Computer Science > A 25-Year Perspective on Logic Programming > Twenty-Five Years of Logic Programming in Italy > 271-299
Lecture Notes in Computer Science > Datalog Reloaded > Section 1: Theoretical Aspects of Datalog > 1-20
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 10 > 376-395
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 443-457
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 200-217
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 391-409
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging and Types > 1-16