Efficient resource management for linear logic proof search.

Iliano Cervesato Joshua S. Hodas Frank Pfenning

Published in: Theor. Comput. Sci. (2000)

Keyphrases

linear logic
resource management
proof search
sequent calculus
resource allocation
fixed point

management system
cut elimination
logical framework
theorem prover
theorem proving

logic programming
inference rules
intuitionistic logic
desirable properties
intelligent agents

search procedure
real time
quality of service
general purpose
genetic algorithm