Programming and symbolic computation in Maude (Q2291818)
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 7161317
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Programming and symbolic computation in Maude |
scientific article; zbMATH DE number 7161317 |
Statements
Programming and symbolic computation in Maude (English)
0 references
31 January 2020
0 references
Maude
0 references
rewriting logic
0 references
strategies
0 references
external objects
0 references
unification
0 references
narrowing
0 references
symbolic model checking
0 references
meta-interpreters
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0.9307319
0 references
0.8769839
0 references
0.86996984
0 references
0 references
0.8650272
0 references
0 references
