No label defined (Q4028349)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
28 March 1993
0 references
term rewriting
0 references
equational axiomatic specifications
0 references
development of formally verified software
0 references
interactive generation of inductive proofs
0 references
narrowing
0 references
induction
0 references
