Found 7 Documents (Results 1–7)
On the difference of Horn theories. (English) Zbl 0971.68076
MSC:
68Q25
Teaching a smarter learner. (English) Zbl 1152.68451
The alternating fixpoint of logic programs with negation. (English) Zbl 0793.68039
Reviewer: M.Eytan (Strasbourg)
Logic programming with sets. (English) Zbl 0694.68013
Filter Results by …
all
top 5
Author
- Bancilhon, Francois (1)
- Beeri, Catriel (1)
- Eiter, Thomas (1)
- Goldman, Sally A. (1)
- Hermann, Miki (1)
- Ibaraki, Toshihide (1)
- Kanellakis, Paris Christos (1)
- Kuper, Gabriel M. (1)
- Makino, Kazuhisa (1)
- Makowsky, Johann-Andreas (1)
- Mathias, H. David (1)
- Pichler, Reinhard (1)
- Ramakrishnan, Raghu (1)
- Van Gelder, Allen (1)
all
top 5
Volume
- 76, No. 7 (2010) (1)
- 61, No. 3 (2000) (1)
- 52, No. 2 (1996) (1)
- 47, No. 1 (1993) (1)
- 41, No. 2 (1990) (1)
- 41, No. 1 (1990) (1)
- 34 (1987) (1)