Strategy-based proof calculus for membrane systems, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, vol.238, pp.23-43, 2008. ,
Rewriting with strategies in ELAN: A functional semantics, Int. J. Found. Comput. Sci, vol.12, issue.1, pp.69-95, 2001. ,
Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, issue.1, pp.206-212, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00099079
Modular structural operational semantics with strategies, Proceedings of the Third Workshop on Structural Operational Semantics, vol.175, pp.3-17, 2006. ,
,
Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008. ,
, All About Maude-A High-Performance Logical Framework, vol.4350, 2007.
, , 2016.
Deduction, strategies, and rewriting, Proceedings of the 6th International Workshop on Strategies in Automated Deduction, vol.174, pp.3-25, 2006. ,
Using Maude and its strategies for defining a framework for analyzing Eden semantics, Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, vol.174, pp.119-137, 2006. ,
Rewriting Logic as a Logical and Semantic Framework, pp.1-87, 2002. ,
Towards a strategy language for Maude, Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications, vol.117, pp.417-441, 2004. ,
Strategies and simulations in a semantic framework, Journal of Algorithms, vol.62, issue.3, pp.95-116, 2007. ,
,
Conditional rewriting logic as a unified model of concurrency. Theoretical, Computer Science, vol.96, issue.1, p.90182, 1992. ,
Linear programming, 1983. ,
Strategy language for Maude web page ,
Basic completion strategies as another application of the Maude strategy language, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, vol.82, pp.17-36, 2011. ,
The Formal Semantics of Programming Languages. Foundations of Computing, 1993. ,