Metalevel transformation of strategies (Q2667189): Difference between revisions

@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+The mu-calculus and Model Checking
@@ Property / cites work: The mu-calculus and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844063
@@ Property / cites work: Q2844063 / 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 @@
+Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
+Normal rank
@@ Property / cites work @@
+Programming and symbolic computation in Maude
@@ Property / cites work: Programming and symbolic computation in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Strategic port graph rewriting: an interactive modelling framework
+Normal rank
@@ Property / cites work @@
+Q4222857
@@ Property / cites work: Q4222857 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and extensions of context-sensitive rewriting
+Normal rank
@@ Property / cites work @@
+Foundations of the rule-based system ρLog
@@ Property / cites work: Foundations of the rule-based system ρLog / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Q5089038
@@ Property / cites work: Q5089038 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized strategies specification in Maude
@@ Property / cites work: Parameterized strategies specification in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating and model checking membrane systems using strategies in Maude
+Normal rank
@@ Property / cites work @@
+Strategies, model checking and branching-time properties in Maude
+Normal rank