Rewriting logic: Roadmap and bibliography (Q1615001): Difference between revisions

@@ Property / author @@
-Narciso Martí-Oliet
@@ Property / author: Narciso Martí-Oliet / rank @@
-Normal rank
@@ Property / author @@
+Narciso Martí-Oliet
@@ Property / author: Narciso Martí-Oliet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JPAX
@@ Property / describes a project that uses: JPAX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ELAN
@@ Property / describes a project that uses: ELAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled transition logic: An outline
@@ Property / cites work: Labelled transition logic: An outline / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702603
@@ Property / cites work: Q4702603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536762
@@ Property / cites work: Q4536762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703702
@@ Property / cites work: Q2703702 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflective metalogical frameworks
@@ Property / cites work: Reflective metalogical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472433
@@ Property / cites work: Q4472433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223004
@@ Property / cites work: Q4223004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222991
@@ Property / cites work: Q4222991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / 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 @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q2767190
@@ Property / cites work: Q2767190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222992
@@ Property / cites work: Q4222992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536607
@@ Property / cites work: Q4536607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222985
@@ Property / cites work: Q4222985 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
+Normal rank
@@ Property / cites work @@
+An interactive semantics of logic programming
@@ Property / cites work: An interactive semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536441
@@ Property / cites work: Q4536441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222997
@@ Property / cites work: Q4222997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264200
@@ Property / cites work: Q4264200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222855
@@ Property / cites work: Q4222855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782483
@@ Property / cites work: Q2782483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703689
@@ Property / cites work: Q2703689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778872
@@ Property / cites work: Q2778872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222856
@@ Property / cites work: Q4222856 / 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 @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222994
@@ Property / cites work: Q4222994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q2703708
@@ Property / cites work: Q2703708 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for infinite term rewriting
@@ Property / cites work: CPO models for infinite term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Relating two categorical models of term rewriting
@@ Property / cites work: Relating two categorical models of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934317
@@ Property / cites work: Q4934317 / rank @@
+Normal rank
@@ Property / cites work @@
+A causal semantics for CCS via rewriting logic
@@ Property / cites work: A causal semantics for CCS via rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222998
@@ Property / cites work: Q4222998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703711
@@ Property / cites work: Q2703711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222860
@@ Property / cites work: Q4222860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222983
@@ Property / cites work: Q4222983 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+HOL-λσ: an intentional first-order expression of  higher-order logic
+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 @@
+Q4499235
@@ Property / cites work: Q4499235 / 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 @@
+Q4699285
@@ Property / cites work: Q4699285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222916
@@ Property / cites work: Q4222916 / rank @@
+Normal rank
@@ Property / cites work @@
+Tile formats for located and mobile systems.
@@ Property / cites work: Tile formats for located and mobile systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722043
@@ Property / cites work: Q2722043 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting Abstract Interpretations in Membership Equational Logic
+Normal rank
@@ Property / cites work @@
+Q2703691
@@ Property / cites work: Q2703691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222848
@@ Property / cites work: Q4222848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Q4222995
@@ Property / cites work: Q4222995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703688
@@ Property / cites work: Q2703688 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4471717
@@ Property / cites work: Q4471717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365202
@@ Property / cites work: Q3365202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702599
@@ Property / cites work: Q4702599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703693
@@ Property / cites work: Q2703693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222980
@@ Property / cites work: Q4222980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222857
@@ Property / cites work: Q4222857 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent trends in algebraic development techniques. 13th international workshop, WADT '98, Lisbon, Portugal, April 2--4, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q2740996
@@ Property / cites work: Q2740996 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining symbolic constraint solvers on algebraic domains
+Normal rank
@@ Property / cites work @@
+Q4264199
@@ Property / cites work: Q4264199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357065
@@ Property / cites work: Q4357065 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed rewriting logic with an application to object-based specification
+Normal rank
@@ Property / cites work @@
+Q2703696
@@ Property / cites work: Q2703696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222864
@@ Property / cites work: Q4222864 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing permutation equivalence
@@ Property / cites work: Axiomatizing permutation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375195
@@ Property / cites work: Q4375195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223006
@@ Property / cites work: Q4223006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703694
@@ Property / cites work: Q2703694 / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxed models for rewriting logic
@@ Property / cites work: Relaxed models for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698614
@@ Property / cites work: Q4698614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246796
@@ Property / cites work: Q4246796 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics preserving actor translation
@@ Property / cites work: A semantics preserving actor translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703712
@@ Property / cites work: Q2703712 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic: Deduction, models and concurrency
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
+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 @@
+Q3839052
@@ Property / cites work: Q3839052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270072
@@ Property / cites work: Q4270072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703700
@@ Property / cites work: Q2703700 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222849
@@ Property / cites work: Q4222849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222946
@@ Property / cites work: Q4222946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223005
@@ Property / cites work: Q4223005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945216
@@ Property / cites work: Q4945216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703699
@@ Property / cites work: Q2703699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790669
@@ Property / cites work: Q4790669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270075
@@ Property / cites work: Q4270075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705626
@@ Property / cites work: Q4705626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222863
@@ Property / cites work: Q4222863 / 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 @@
+Q2764137
@@ Property / cites work: Q2764137 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for industrial applications. Specification and programming the Steam Boiler Control
+Normal rank
@@ Property / cites work @@
+Q4222867
@@ Property / cites work: Q4222867 / rank @@
+Normal rank
@@ Property / cites work @@
+A Maude specification of an object-oriented model for telecommunication networks
+Normal rank
@@ Property / cites work @@
+Prototyping combination of unification algorithms with the ELAN rule-based programming language
+Normal rank
@@ Property / cites work @@
+Q2703698
@@ Property / cites work: Q2703698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703704
@@ Property / cites work: Q2703704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222862
@@ Property / cites work: Q4222862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222989
@@ Property / cites work: Q4222989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250366
@@ Property / cites work: Q4250366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535186
@@ Property / cites work: Q4535186 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222999
@@ Property / cites work: Q4222999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+Composable semantic models for actor theories
@@ Property / cites work: Composable semantic models for actor theories / rank @@
+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 @@
+Comparing Meseguer's Rewriting Logic with the Logic CRWL
+Normal rank
@@ Property / cites work @@
+Q4762654
@@ Property / cites work: Q4762654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222988
@@ Property / cites work: Q4222988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703695
@@ Property / cites work: Q2703695 / rank @@
+Normal rank
@@ Property / cites work @@
+Two case studies of semantics execution in Maude: CCS and LOTOS
+Normal rank
@@ Property / cites work @@
+Q2703710
@@ Property / cites work: Q2703710 / rank @@
+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
@@ Property / cites work @@
+Q4223003
@@ Property / cites work: Q4223003 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+A compiler for nondeterministic term rewriting systems
+Normal rank
@@ Property / cites work @@
+Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00357-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2091567516
@@ Property / OpenAlex ID: W2091567516 / rank @@
+Normal rank