15
Combined Complexity
Recursive function:
function Eval(f)
if f = 9 x.y
then for all a 2 A do
if Eval(y[a/x]) = true then return true
return false
if f = 8 x.y
then for all a 2 A do
if Eval(y[a/x]) = false then return false
return true
if f = y1 Æ y2 then …
if f = 9 x.y
then for all a 2 A do
if Eval(y[a/x]) = true then return true
return false
if f = 8 x.y
then for all a 2 A do
if Eval(y[a/x]) = false then return false
return true
if f = y1 Æ y2 then …
if f = R(a1,
…, ak) then …