The Fixpoint Bounded-Variable Queries are PSPACE-Complete (1996)

by S. Dziembowski , Stefan Dziembowski
Venue:Presented at the 10th Annual International Conference of the European Association for Computer Science Logic, CSL '96
Citations:7 - 0 self

Document Versions

The Fixpoint Bounded-Variable Queries are PSPACE-Complete –S. Dziembowski, Stefan Dziembowski — 1996 — Presented at the 10th Annual International Conference of the European Association for Computer Science Logic, CSL '96
The Fixpoint Bounded-Variable Queries are PSPACE-Complete –Stefan Dziembowski, Stefan Dziembowski — 1996 — Presented at the 10th Annual International Conference of the European Association for Computer Science Logic, CSL '96