Browsing Institutt for informatikk by Author "Haga, Erik Nilsen"
Now showing items 1-1 of 1
-
Haga, Erik Nilsen (Master thesis / Masteroppgave, 2008)Variable splitting is a recently introduced tableau technique for first order logic. It aims to identify when different occurrences of the same variable are independent and thus need not be treated as rigid. By removing ...