Author:
Lincoln P.,Martí-Oliet N.,Meseguer J.,Ricciulli L.
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two Decades of Maude;Lecture Notes in Computer Science;2015
2. Distributed Logic Objects;Electronic Notes in Theoretical Computer Science;1996
3. From abstract data types to logical frameworks;Recent Trends in Data Type Specification;1995
4. The Rewrite Rule Machine node architecture and its performance;Parallel Processing: CONPAR 94 — VAPP VI;1994