CiteSeerX — Related by cluster: Mapping Tile Logic into Rewriting Logic

Mapping Tile Logic into Rewriting Logic (1998)

Cached

Download Links

[www.di.unipi.it]

Other Repositories/Bibliography

DBLP

by J. Meseguer

Citations:

32 - 23 self

Document Versions

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