|
|
| (6 intermediate revisions by 4 users not shown) |
| Property / author |
| | | |
| Property / author: Manuel Clavel / rank |
| | | Normal rank |
| Property / author |
| | | |
| Property / author: Francisco Durán / rank |
| | | Normal rank |
| Property / author |
| | | |
| Property / author: Patrick D. Lincoln / rank |
| | | Normal rank |
| Property / author |
| | | |
| Property / author: Narciso Martí-Oliet / 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: ELAN / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: CafeOBJ / rank |
| | | Normal rank |
| Property / MaRDI profile type |
| | | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3365224 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4472433 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3896478 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222858 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4223001 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222851 / 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: Q3906394 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222997 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2734833 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222979 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2703706 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Reflection in conditional rewriting logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4385532 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2715825 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222983 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2767191 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222990 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222854 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222981 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2703691 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Comparing logics for rewriting: Rewriting logic, action calculi and tile logic / 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: Completion of a Set of Rules Modulo a Set of Equations / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222980 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222859 / 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: Rewriting logic as a semantic framework for concurrency: a progress report / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3839051 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4263840 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4762648 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2723887 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4270072 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3992568 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Combining matching algorithms: The regular case / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2703709 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Specification of real-time and hybrid systems in rewriting logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Level-confluence of conditional rewrite systems with extra variables in right-hand sides / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2767188 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Actor theories in rewriting logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Two case studies of semantics execution in Maude: CCS and LOTOS / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings / rank |
| | | Normal rank |
| Property / full work available at URL |
| | | |
| Property / full work available at URL: https://doi.org/10.1016/s0304-3975(01)00359-0 / rank |
| | | Normal rank |
| Property / OpenAlex ID |
| | | |
| Property / OpenAlex ID: W2134287022 / rank |
| | | Normal rank |
