No label defined (Q4028349)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 139989
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 139989 |
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
0.7669498324394226
0 references
0.7659380435943604
0 references
0.7637253403663635
0 references
0.7627167105674744
0 references
