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

Vadam Kagan

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

1996
1EEVadam Kagan, Anil Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996)

Coauthor Index

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

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