Cons-free Programs and Complexity Classes between LOGSPACE and PTIME.

Neil D. Jones Siddharth Bhaskar Cynthia Kop Jakob Grue Simonsen

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

tractable cases
conp complete
databases
information systems
computational complexity
complexity measures
case study
worst case
expressive power
decision problems
space complexity
data complexity