Found 2 Documents (Results 1–2)
The rewriting logic semantics project: a progress report. (English) Zbl 1342.68198
Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Meseguer Guaita, José (2)
- Roşu, Grigore (2)