Volume 1997,
Number 1,
1997
- Makoto Hamana:
Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.
BibTeX
Volume 1997,
Number 2,
1997
Volume 1997,
Number 3,
1997
Volume 1997,
Number 4,
1997
Volume 1997,
Number 5,
1997
Volume 1997,
Number 6,
1997
Volume 1997,
Number 7,
1997
Copyright © Sun May 17 00:09:21 2009
by Michael Ley (ley@uni-trier.de)