Publication | Open Access

A new method for undecidability proofs of first order theories

First Order TheoriesEngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsModel TheoryFirst-order LogicProof TheoryProof SystemFormal Verification