Maude: specification and programming in rewriting logic (Q1608917): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365224
@@ Property / cites work: Q3365224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472433
@@ Property / cites work: Q4472433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896478
@@ Property / cites work: Q3896478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223001
@@ Property / cites work: Q4223001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222851
@@ Property / cites work: Q4222851 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222997
@@ Property / cites work: Q4222997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection in conditional rewriting logic
@@ Property / cites work: Reflection in conditional rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222983
@@ Property / cites work: Q4222983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767191
@@ Property / cites work: Q2767191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222990
@@ Property / cites work: Q4222990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222854
@@ Property / cites work: Q4222854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222981
@@ Property / cites work: Q4222981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703691
@@ Property / cites work: Q2703691 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q4222980
@@ Property / cites work: Q4222980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263840
@@ Property / cites work: Q4263840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4762648
@@ Property / cites work: Q4762648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723887
@@ Property / cites work: Q2723887 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+Q4270072
@@ Property / cites work: Q4270072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining matching algorithms: The regular case
@@ Property / cites work: Combining matching algorithms: The regular case / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703709
@@ Property / cites work: Q2703709 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Level-confluence of conditional rewrite systems with extra variables in right-hand sides
+Normal rank
@@ Property / cites work @@
+Q2767188
@@ Property / cites work: Q2767188 / rank @@
+Normal rank
@@ Property / cites work @@
+Actor theories in rewriting logic
@@ Property / cites work: Actor theories in rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two case studies of semantics execution in Maude: CCS and LOTOS
+Normal rank
@@ Property / cites work @@
+PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings
+Normal rank