On Horn Axiomatizations for Sequential Data

José L. Balcázar, Gemma Casas-Garriga. On Horn Axiomatizations for Sequential Data. In Thomas Eiter, Leonid Libkin, editors, Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Volume 3363 of Lecture Notes in Computer Science, pages 215-229, Springer, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.