A comparison between two logical formalisms for rewriting (Q3430669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A comparison between two logical formalisms for rewriting |
scientific article |
Statements
A comparison between two logical formalisms for rewriting (English)
0 references
23 March 2007
0 references
rewriting logic
0 references
constructor-based rewriting logic
0 references
institutions
0 references
