Keyphrases
- programming language
- logic programming
- automated reasoning
- programming environment
- high level language
- concurrent programming
- proof theory
- predicate logic
- modal logic
- sound and complete axiomatization
- user interface
- asynchronous circuits
- digital circuits
- nonmonotonic logics
- defeasible logic
- programming course
- multi valued
- meta level