LARA

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