Search results for: David Toman
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 391-407
Lecture Notes in Computer Science > Advances in Spatial and Temporal Databases > Modeling and Languages > 380-393
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 3. Description Logic > 100-115
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
Journal of Automated Reasoning > 2014 > 53 > 3 > 215-243
Journal of Automated Reasoning > 2008 > 40 > 2-3 > 117-132