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
From MaRDI portal
Publication:492687
DOI10.1007/978-3-319-12904-4zbMath1318.68016OpenAlexW2497721037WikidataQ56498755 ScholiaQ56498755MaRDI QIDQ492687
No author found.
Publication date: 20 August 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-12904-4
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)
Related Items (5)
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude ⋮ Metalevel transformation of strategies ⋮ Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Dynamic structural operational semantics
This page was built for publication: 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
