Programming in Equational Logic: Beyond Strong Sequentiality
R. C. SekarI. V. RamakrishnanPublished in: LICS (1990)
Keyphrases
- theorem proving
- programming language
- automated reasoning
- horn clauses
- logic programming
- classical logic
- programming environment
- equational theories
- theorem prover
- predicate logic
- computer programming
- natural deduction
- modal logic
- multi valued
- real time
- object oriented programming
- deontic logic
- high level language
- website