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)
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Q42: Grammars and rewriting systems
Related Items
The control layer in open mechanized reasoning systems: Annotations and tactics, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, Typed generic traversal with term rewriting strategies, Reflection in conditional rewriting logic, Executable structural operational semantics in Maude, Unnamed Item