A calculus and logic of bunched resources and processes.
Gabrielle AndersonDavid J. PymPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- computer algebra
- formal language
- communication channels
- algebraic structure
- logic programming
- natural deduction
- proof search
- computational properties
- neural network
- sequent calculus
- modal logic
- relation algebra
- database
- classical logic
- automated reasoning
- computing resources
- limited resources
- resource management
- probability theory
- sharing information
- web resources
- predicate logic
- automated theorem proving
- information resources
- resource allocation
- process model
- description logics
- transition systems
- cut elimination
- database systems