Travelled to:2 × Germany
Collaborated with:∅ H.K.Büning S.Schmitgen
Talks about:proposit (1) program (1) formula (1) prolog (1) detect (1) aspect (1) optim (1) logic (1) loop (1)
Person: Ulrich Löwen
DBLP: L=ouml=wen:Ulrich
Contributed to:
19881987Wrote 2 papers:
- CSL-1988-BuningLS #detection #prolog #source code
- Loop Detection in Propositional Prolog Programs (HKB, UL, SS), pp. 148–165.
- CSL-1987-Lowen #aspect-oriented #logic #optimisation
- Optimization Aspects of Logical Formulas (UL), pp. 173–187.