Wyniki wyszukiwania dla: Enea Zaffanella
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 579-594
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods II > 135-148
Lecture Notes in Computer Science > Static Analysis > 213-229
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 57-72
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 362-379
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 8-21
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Logic programming and CLP > 189-206
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Termination and Analysis > 219-235
Electronic Notes in Theoretical Computer Science > 2014 > 307 > Complete > 3-15
Information and Computation > 2012 > 215 > Complete > 47-67
Computational Geometry: Theory and Applications > 2010 > 43 > 5 > 453-473
Theoretical Computer Science > 2009 > 410 > 46 > 4672-4691