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