Tim S. Lyon

Nuovi metodi migliorano le definizioni esplicite nella logica descrittiva per una rappresentazione della conoscenza più chiara.

Nuovi metodi rivelano la decidibilità nelle logiche quasi-dense usando la teoria dei database.

Esplora il ruolo dei sistemi di prova nelle logiche temporali e la loro interrelazione.

Scopri un nuovo modo di affrontare le equazioni a punto fisso nella logica del software.