scientific article
From MaRDI portal
Publication:2851051
zbMath1272.03137MaRDI QIDQ2851051
José Meseguer, Miguel Palomino, Manuel Clavel
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825319
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Conditional rewriting logic as a unified model of concurrency
- Maude: specification and programming in rewriting logic
- Reflection in conditional rewriting logic
- Comparing Meseguer's Rewriting Logic with the Logic CRWL
- Reflective metalogical frameworks
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
