#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1992

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

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)

- Henrik Imhof
- CSL
- 1996

- Lauri Hella, Henrik Imhof
- J. Log. Comput.
- 1998

- Henrik Imhof
- XPS
- 1999

- Henrik Imhof
- J. Log. Comput.
- 1997

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)

- Lauri Hella, Henrik Imhof
- 1996

Let Q IFP be any quantiier such that FO(Q IFP), rst order logic enhanced with Q IFP and its vectorizations, equals inductive xed point logic, IFP in expressive power. It is known that for certain quantiiers Q, the equivalence FO(Q IFP) IFP is no longer true if Q is added on both sides 12, 13]. Rather, we have FO(Q IFP ; Q) < IFP(Q) in such cases. We extend… (More)

- F Winkelbauer, M Ammann, N Gerstner, H Imhof
- Aktuelle Radiologie
- 1992

Multiformat imagers based on laser systems are used for documentation in an increasing number of investigations. The specific problems of quality control are explained and the persistence of film processing in these imager systems of different configuration with (Machine 1: 3M-Laser-Imager-Plus M952 with connected 3M Film-Processor, 3M-Film IRB, X-Rax… (More)

- ‹
- 1
- ›