Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees / Calvanese, D., DE GIACOMO, G., Lenzerini, M.. - (1999), pp. 84-89.
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
DE GIACOMO, Giuseppe;LENZERINI, Maurizio
1999
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.


