Anil Nerode
- Anil Nerode, Raymond T. Ng, and V. S. Subrahmanian. Computing circumscriptive databases:
I. Theory and algorithms. Information and Computation,
116(1):58-80, January 1995.
Abstract,
References,
and Citations.
- Hajime Ishihara, Bakhadyr Khoussainov, and Anil Nerode. Computable Kripke models and
intermediate logics. Information and Computation,
143(2):205-230, 15 June 1998.
Abstract
and References.
Shortcuts: