Inference rules and proof procedures for inequations (Q3485883)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference rules and proof procedures for inequations |
scientific article |
Statements
Inference rules and proof procedures for inequations (English)
0 references
1990
0 references
equational programming languages
0 references
logic programming with equality
0 references
narrowing technique
0 references
proving inequations
0 references
