On optimal proof systems and logics for PTIME.

Yijia Chen Jörg Flum

Published in: Electron. Colloquium Comput. Complex. (2010)

Keyphrases

intelligent systems
dynamic programming
distributed systems
retrieval systems
expressive power
proof theory
database
databases
query language
computer systems
logic programming
query evaluation