Information systems: On queries involving cardinalities
- 31 December 1979
- journal article
- Published by Elsevier in Information Systems
- Vol. 4 (3) , 241-246
- https://doi.org/10.1016/0306-4379(79)90008-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A 222pn upper bound on the complexity of Presburger ArithmeticJournal of Computer and System Sciences, 1978
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Information storage and retrieval systems: Mathematical foundationsTheoretical Computer Science, 1976