We present an algorithmic method to obtain pure rewriting systems from logical descriptions of languages. The method, presented in an SPO framework, is applicable to visual language specification.
From Formulae to Rewriting Systems
SIMEONI, Marta
2000-01-01
Abstract
We present an algorithmic method to obtain pure rewriting systems from logical descriptions of languages. The method, presented in an SPO framework, is applicable to visual language specification.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
