DMCA

Comparing Logics for Rewriting: Rewriting logic, action calculi and tile logic (2002)

Cached

Download Links

by Fabio Gadducci , Ugo Montanari
Venue:Theoretical Computer Science
Citations:14 - 3 self