scientific article; zbMATH DE number 1231538
From MaRDI portal
Publication:4222854
zbMath0912.68057MaRDI QIDQ4222854
No author found.
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#eker
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography, Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility, Maude: specification and programming in rewriting logic
