A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases

Peter Becker. A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases. In Norman Revell, A. Min Tjoa, editors, Database and Expert Systems Applications, 6th International Conference, DEXA 95, London, United Kingdom, September 4-8, 1995, Proceedings. Volume 978 of Lecture Notes in Computer Science, pages 293-302, Springer, 1995.

Abstract

Abstract is missing.