Wyniki wyszukiwania dla: Frank D. Valencia
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 45-63
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 107-133
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Models of Computation > 185-206
Lecture Notes in Computer Science > A 25-Year Perspective on Logic Programming > Twenty-Five Years of Logic Programming in Italy > 231-253
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 302-316
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 786-786
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 226-240
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Processes and Models > 242-256
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 422-437
Lecture Notes in Computer Science > Logic Programming > Short Papers > 509-513
Advances in Intelligent and Soft Computing > 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011) > Sytems Biology > 321-328
Constraints > 2013 > 18 > 4 > 535-578
Electronic Notes in Theoretical Computer Science > 2008 > 194 > 2 > 59-84