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.