Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Kazuhiro Ogata
,
Narciso Martí-Oliet
Details
OL Work ID
OL38625582W
Find this book
Goodreads
Open Library