Q4222979 (Q4222979): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Manuel Clavel / rank | |||
Property / author | |||
Property / author: Patrick D. Lincoln / rank | |||
Property / author | |||
Property / author: Manuel Clavel / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Patrick D. Lincoln / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: OBJ3 / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Maude / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3896478 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specification and proof in membership equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222985 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3906394 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222853 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222856 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatizing permutation equivalence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A semantics preserving actor translation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3141897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222852 / rank | |||
Normal rank |
Latest revision as of 17:42, 28 May 2024
scientific article; zbMATH DE number 1231654
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1231654 |
Statements
7 January 1999
0 references
Maude
0 references
rewriting
0 references