Oriented Equational Logic Programming is Complete (1996)
by
Christopher Lynch
| Venue: | JOURNAL OF SYMBOLIC COMPUTATION |
| Citations: | 7 - 0 self |
BibTeX
@ARTICLE{Lynch96orientedequational,
author = {Christopher Lynch},
title = {Oriented Equational Logic Programming is Complete},
journal = {JOURNAL OF SYMBOLIC COMPUTATION},
year = {1996},
volume = {23},
pages = {23--46}
}
Bookmark
 |
 |
 |
 |
 |
 |
