However ...

Full FOL is undecidable !!

Even without quantifiers is NP-complete!!

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica