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

Anil Nerode (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Anil Nerode: Preface. Ann. Pure Appl. Logic 163(7): 743-744 (2012)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Anil Nerode: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Springer 2009
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Anil Nerode: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings Springer 2007
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8

Selection of 4 from 90 records - Anil Nerode has 54 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page