Travelled to:1 × Germany
Collaborated with:H.K.Büning U.Löwen
Talks about:proposit (1) program (1) prolog (1) detect (1) loop (1)
Person: Stefan Schmitgen
DBLP: Schmitgen:Stefan
Contributed to:
Wrote 1 papers:
- CSL-1988-BuningLS #detection #prolog #source code
- Loop Detection in Propositional Prolog Programs (HKB, UL, SS), pp. 148–165.












