dblp.uni-trier.dewww.uni-trier.de

Vadim Kagan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994
1 Vadim Kagan, Anil Nerode, V. S. Subrahmanian: Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Logic 67(1-3): 161-182 (1994)

Coauthor Index

1Anil Nerode [1]
2V. S. Subrahmanian [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)