Browsing Masteruppsatser by Author "LILLIESTRÖM, ANN"
Now showing items 1-1 of 1
-
The Infinox Infinity Inferrer - A Complement to Finite Model Finding
LILLIESTRÖM, ANN (2010-03-04)Infinox is an automated reasoning tool that can disprove the existence of finite models of first-order theories. It is a tool of both theoretical and practical value and is especially well suited as a complement to finite ...