The Algebra of Searching (1999)
by
Mike Spivey
,
Silvija Seres
| Venue: | PROCEEDINGS OF A SYMPOSIUM IN CELEBRATION OF THE WORK OF |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Spivey99thealgebra,
author = {Mike Spivey and Silvija Seres},
title = {The Algebra of Searching},
booktitle = {PROCEEDINGS OF A SYMPOSIUM IN CELEBRATION OF THE WORK OF},
year = {1999},
publisher = {MacMillan}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, we seek to develop a logic for logic programs that takes into account this procedural aspect of their behaviour under dierent search strategies, emphasizing algebraic properties that are common to all search strategies.
Citations
| 205 | An introduction to the theory of lists - Bird - 1987 |
| 83 | How to replace failure by a list of successes - Wadler - 1985 |
| 20 | S.: Combinators for logic programming - Spivey, Seres |
| 16 | Embedding Prolog in Haskell - Spivey, Seres - 1999 |
| 1 | The monad of breadth- search', submitted to Journal of Functional Programming - Spivey |
