Completeness of context-sensitive rewriting (Q477588): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the Completeness of Context-Sensitive Order-Sorted Specifications / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4259966 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Context-sensitive rewriting strategies / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications / rank | |||
Normal rank | |||
Revision as of 10:02, 9 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of context-sensitive rewriting |
scientific article |
Statements
Completeness of context-sensitive rewriting (English)
0 references
9 December 2014
0 references
algebraic semantics
0 references
context-sensitive rewriting
0 references
formal reasoning
0 references
programming languages
0 references
