Two Decades of Maude (Q2945709): Difference between revisions

@@ Property / author @@
-Manuel Clavel
@@ Property / author: Manuel Clavel / rank @@
-Normal rank
@@ Property / author @@
-Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
-Normal rank
@@ Property / author @@
-Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
-Normal rank
@@ Property / author @@
+Manuel Clavel
@@ Property / author: Manuel Clavel / rank @@
+Normal rank
@@ Property / author @@
+Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
+Normal rank
@@ Property / author @@
+Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude-NPA
@@ Property / describes a project that uses: Maude-NPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MTT
@@ Property / describes a project that uses: MTT / 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 @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LoLA
@@ Property / describes a project that uses: LoLA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-23165-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2294286260
@@ Property / OpenAlex ID: W2294286260 / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for MOF
@@ Property / cites work: An algebraic semantics for MOF / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q4934731
@@ Property / cites work: Q4934731 / rank @@
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+Q4223000
@@ Property / cites work: Q4223000 / 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 @@
+Q4222994
@@ Property / cites work: Q4222994 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222856
@@ Property / cites work: Q4222856 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767190
@@ Property / cites work: Q2767190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767191
@@ Property / cites work: Q2767191 / rank @@
+Normal rank
@@ Property / cites work @@
+Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Q4222990
@@ Property / cites work: Q4222990 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude's module algebra
@@ Property / cites work: Maude's module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
+Normal rank
@@ Property / cites work @@
+Functional Logic Programming in Maude
@@ Property / cites work: Functional Logic Programming in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Q5111913
@@ Property / cites work: Q5111913 / rank @@
+Normal rank
@@ Property / cites work @@
+IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246796
@@ Property / cites work: Q4246796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic bibliography by topic: 1990--2011
@@ Property / cites work: Rewriting logic bibliography by topic: 1990--2011 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
+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 @@
+From OBJ to Maude and Beyond
@@ Property / cites work: From OBJ to Maude and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The Temporal Logic of Rewriting: A Gentle Introduction
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046721
@@ Property / cites work: Q3046721 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766586
@@ Property / cites work: Q2766586 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2945709