Henrik Imhof

Learn More
Most toxic industrial chemicals and chemical warfare agents are hydrophobic and can only be solubilized in organic solvents. However, most reagents employed for the degradation of these toxic compounds can only be dissolved in water. Hence, microemulsions are auspicious media for the decontamination of a variety of chemical warfare agents and pesticides.(More)
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)
  • 1