Keyphrases
- higher order
- lambda calculus
- distributed systems
- higher order logic
- pairwise
- high order
- computer algebra
- cooperative
- multi agent
- distributed environment
- natural deduction
- proof procedure
- natural images
- formal language
- relation algebra
- proof search
- lower order
- computational properties
- classical logic
- logical framework
- fault tolerant
- computer networks
- logic programming
- markov random field