Skip to content

Bounded-Variable Fixpoint Queries are PSPACE-complete.

Stefan Dziembowski

VenueBCSL
Year1996
ProceedingsCSL

Browse the full CSL paper archive.