Keyphrases
- computer algebra
- formal language
- proof procedure
- automated reasoning
- high level
- natural deduction
- algebraic structure
- relation algebra
- sequent calculus
- computer programs
- first order logic
- lambda calculus
- programming environment
- hardware designs
- declarative semantics
- logical representation
- bounded model checking
- linear time temporal logic
- deontic logic
- formal theory
- programming language
- computational properties
- logic programming
- database systems
- linear logic
- tableau calculus
- logic programs
- recursive programs
- modal logic
- proof search
- inference rules
- propositional logic
- theorem proving
- static analysis
- model theoretic
- automated theorem proving