Comparing Meseguer's Rewriting Logic with the Logic CRWL (Q2841300)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing Meseguer's Rewriting Logic with the Logic CRWL |
scientific article |
Statements
Comparing Meseguer's Rewriting Logic with the Logic CRWL (English)
0 references
24 July 2013
0 references
