Search results for: Grant Weddell
Lecture Notes in Computer Science > Conceptual Modeling - ER 2007 > Logical Foundations of Conceptual Modelling > 293-306
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Database Systems (DOOD) > 1017-1032
Lecture Notes in Computer Science > Database Theory — ICDT 2003 > Reasoning about XML Schemas and Queries > 96-110
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 60-72
Journal of Automated Reasoning > 2014 > 53 > 3 > 215-243
Data & Knowledge Engineering > 2010 > 69 > 10 > 1062-1080
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 117-132
Theoretical Computer Science > 2005 > 336 > 1 > 181-203