Normal view MARC view ISBD view

Rewriting Logic and Its Applications

Santiago Escobar, Narciso Martí-Oliet

Rewriting Logic and Its Applications - Springer Springer 2020

ISBN: 9783030635954

Source: EBOOK