Efficient resource management for linear logic proof search.
Iliano CervesatoJoshua S. HodasFrank PfenningPublished 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