Mapping Tile Logic into Rewriting Logic (1998)

Cached

Download Links

by J. Meseguer
Citations:32 - 23 self

Document Versions

Mapping Tile Logic into Rewriting Logic –J. Meseguer — 1998