#### Filter Results:

#### Publication Year

1996

1999

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- Henrik Imhof
- CSL
- 1996

The monotone circuit problem Q MC is shown to be complete for xed point logic IFP under quantiier free reductions. Enhancing the circuits with an oracle Q leads to a problem complete for IFP(Q). By contrast, if L is any extension of FO with generalized quantiiers, one can always nd a Q such that IFP(Q) is not contained in L(Q). For L = FO(Q MC), we have L… (More)

- Henrik Imhof
- XPS
- 1999

- ‹
- 1
- ›