Map calculus: a link between algebraic specification and first order theorem proving / Formisano, A., Omodeo, E., Temperini, M.. - SI-98/11:(1998).
Map calculus: a link between algebraic specification and first order theorem proving
TEMPERINI, Marco
1998
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


