IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
From MaRDI portal
Publication:1273563
zbMath0903.00070MaRDI QIDQ1273563
No author found.
Publication date: 8 December 1998
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
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 (9)
Executable structural operational semantics in Maude ⋮ Unnamed Item ⋮ Dependency pairs for proving termination properties of conditional term rewriting systems ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Two Decades of Maude ⋮ Typed generic traversal with term rewriting strategies ⋮ The control layer in open mechanized reasoning systems: Annotations and tactics ⋮ Programming and symbolic computation in Maude ⋮ Reflection in conditional rewriting logic
This page was built for publication: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998