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

by Stefan Dziembowski
Venue:PRESENTED AT THE 10TH ANNUAL INTERNATIONAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC, CSL '96
Citations:7 - 0 self