Search results for: James Cheney
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 332-344
Lecture Notes in Computer Science > Logic Programming > Semantics > 361-375
Lecture Notes in Computer Science > Database Theory – ICDT 2007 > Incompleteness, Inconsistency, and Uncertainty > 209-223
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 401-416
Lecture Notes in Computer Science > Research and Advanced Technology for Digital Libraries > Knowledge Management II > 340-351
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Logics > 379-394
Lecture Notes in Computer Science > Provenance and Annotation of Data > Session 6: Models of Provenance, Annotations and Processes > 162-170
Lecture Notes in Computer Science > Database Programming Languages > Inconsistency Handling > 97-111
Lecture Notes in Computer Science > Programming Languages and Systems > Semantics, Parametricity, and Types > 32-47
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 8: Programming Languages > 280-295
The VLDB Journal > 2012 > 21 > 6 > 843-867
Journal of Automated Reasoning > 2012 > 49 > 2 > 209-239
Journal of Pharmaceutical and Biomedical Analysis > 2011 > 55 > 3 > 429-434
Journal of Automated Reasoning > 2010 > 45 > 3 > 267-300
Journal of Pharmaceutical and Biomedical Analysis > 2009 > 49 > 1 > 48-54