Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop,
LENZI, Giacomo
2001
Abstract
Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.File in 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.
