Robert Matzinger

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

2 Robert Matzinger: Comparing Computational Representations of Herbrand Models. Kurt Gödel Colloquium 1997: 203-218

1996

1 Robert Matzinger: Computational Representations of Herbrand Models Using Grammars. CSL 1996: 334-348

1997
2		Robert Matzinger: Comparing Computational Representations of Herbrand Models. Kurt Gödel Colloquium 1997: 203-218
1996
1		Robert Matzinger: Computational Representations of Herbrand Models Using Grammars. CSL 1996: 334-348