|
|
(7 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: MTT / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: CRC 3 / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: ITP / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SCC / 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 / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/j.jlap.2011.12.004 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2170798886 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On using ground joinable equations in equational theorem proving / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Completion for rewriting modulo a congruence / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving ground confluence and inductive validity in constructor based equational specifications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Simultaneous checking of completeness and ground confluence for algebraic specifications / 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: Semantic foundations for generalized rewrite theories / rank |
| | Normal rank |
| 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: Completion of rewrite systems with membership constraints. I: Deduction rules / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Completion of rewrite systems with membership constraints. II: Constraint solving / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4385532 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2751361 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving operational termination of membership equational programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: MTT: The Maude Termination Tool (System Description) / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Termination Modulo Combinations of Equational Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude's module algebra / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: State Space Reduction of Rewrite Theories Using Invisible Transitions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Order-sorted completion: The many-sorted way / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2778873 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Equational completion in order-sorted algebras / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3719824 / 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: Term Rewriting and Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Order-sorted Equational Unification Revisited / 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: On ground-confluence of term rewriting systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3795207 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A new solution of Dijkstra's concurrent programming problem / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Operational termination of conditional term rewriting systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3839051 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Equational abstractions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic simulations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2783416 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Complete Sets of Reductions for Some Equational Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantic confluence tests and completion methods / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4799892 / 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 / cites work |
| | |
| Property / cites work: Equational rules for rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantics of order-sorted specifications / rank |
| | Normal rank |