Travelled to:1 × USA
Collaborated with:B.Messing
Talks about:resolut (1) regular (1) program (1) logic (1) appli (1) annot (1) sign (1)
Person: Peter v. Stackelberg
DBLP: Stackelberg:Peter_v=
Contributed to:
1995Wrote 1 papers:
- ILPS-1995-MessingS #logic programming #source code
- Regular Signed Resolution Applied to Annotated Logic Programs (BM, PvS), p. 638.