LARA

This is an old revision of the document!


Equality, Undecidable and Decidable FOL Classes

Continuation of lecture11.

More on Equality

Undecidable and Decidable Classes of FOL Formulas

Decidable Exists-Forall Class and its Use