Foundations of a theorem prover for functional and mathematical uses (Q4275695)
From MaRDI portal
scientific article; zbMATH DE number 487152
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations of a theorem prover for functional and mathematical uses |
scientific article; zbMATH DE number 487152 |
Statements
Foundations of a theorem prover for functional and mathematical uses (English)
0 references
31 October 1994
0 references
specification
0 references
verification
0 references
predicate logic
0 references
computational logic
0 references
polymorphism
0 references
recursion
0 references
automated deduction system
0 references
functional programs
0 references
denotational semantics
0 references
tableau algorithm
0 references
fixed point induction
0 references
theorem prover
0 references
