Lab for Automated Reasoning and Analysis LARA

Undecidability of First-Order Logic

Background

Result

Consequences

 
sav08/undecidability_of_first-order_logic.txt · Last modified: 2008/04/03 13:53 by vkuncak