-Optimal Proof Systems and Logics for PTIME.

Yijia Chen Jörg Flum

Published in: ICALP (2) (2010)

Keyphrases

expert systems
distributed systems
building blocks
dynamic programming
intelligent systems
information retrieval
optimal solution
management system
worst case
complex systems
inference rules
theorem proving
proof theory