A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms (1998)
Cached
Download Links
- [www.cse.ucsd.edu]
- [www-cs.ucsd.edu]
- [www-cse.ucsd.edu]
- [www.cse.ucsd.edu]
- [www.cse.ucsd.edu]
- [www.cs.ucsd.edu]
- [www.cs.ucsd.edu]
- [www-cs.ucsd.edu]
- [www-cse.ucsd.edu]
- DBLP
Other Repositories/Bibliography
by
Joseph Goguen
,
Grant Malcolm
,
Tom Kemp
| Venue: | Principles of Declarative Programming |
| Citations: | 11 - 3 self |
BibTeX
@INPROCEEDINGS{Goguen98ahidden,
author = {Joseph Goguen and Grant Malcolm and Tom Kemp},
title = {A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms},
booktitle = {Principles of Declarative Programming},
year = {1998},
pages = {445--462},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
: The benefits of the object, logic (or relational), functional, and constraint paradigms
