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