Maude system (Q3558930)
Jump to navigation
Jump to search
implementation of rewriting logic developed at SRI International
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Maude system |
implementation of rewriting logic developed at SRI International |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- elwiki Σύστημα Μωντ
- enwiki Maude system
- eswiki Maude (lenguaje de programación)