A. Nerode

发表

A. Nerode, A. Nerode, 1958 .
A. Nerode, P. Antsaklis, 1998, IEEE Trans. Autom. Control..
A. Nerode, G. Metakides, 1977 .
A. Nerode, G. Metakides, 1975 .
A. Nerode, J. Remmel, 1983 .
A. Nerode, G. Metakides, 1979 .
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis, 1996, Hybrid Systems.
A. Nerode, A. Yakhnis, V. Yakhnis, 1992 .
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1997, LFCS.
L. Liao, A. Nerode, James H. Taylor, 1993, Proceedings of 32nd IEEE Conference on Decision and Control.
A. Nerode, J. Remmel, W. Kohn, 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, 1995, Inf. Comput..
A. Nerode, W. Kohn, Anil Nerode, 1992, IEEE Symposium on Computer-Aided Control System Design.
A. Nerode, J. Remmel, W. Kohn, 2022 .
Anil Nerode, Bjørn Kjos-Hanssen, A. Nerode, 2009, Theor. Comput. Sci..
A. Nerode, W. Kohn, Vladimir Brayman, 2002 .
Anil Nerode, Sergei N. Artëmov, J. M. Davoren, 1997 .
A. Nerode, A. Nerode, 1959 .
Anil Nerode, A. Nerode, J. Remmel, 1985 .
Anil Nerode, Bakhadyr Khoussainov, A. Nerode, 2008, Bull. EATCS.
A. Nerode, J. Remmel, V. Marek, 2006 .
A. Nerode, Xiaolin Ge, W. Kohn, 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.
A. Nerode, W. Kohn, J. James, 1996 .
Anil Nerode, Wolf Kohn, J. James, 1996 .
Anil Nerode, A. Nerode, 1990 .
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, 1993, LPNMR.
A. Nerode, W. Marek, 2006 .
Anil Nerode, K. Jon Barwise, A. Nerode, 1952, Journal of Symbolic Logic.
Anil Nerode, Bakhadyr Khoussainov, A. Nerode, 1994, LCC.
A. Nerode, S. Artemov, 2018 .
Georg Gottlob, Anil Nerode, V. S. Subrahmanian, 1994 .
Anil Nerode, V. S. Subrahmanian, Jeffrey B. Remmel, 1993 .
Anil Nerode, Wolf Kohn, A. Nerode, 1993, International Conference on Logic Programming.
Panos J. Antsaklis, Anil Nerode, Wolf Kohn, 1997, Lecture Notes in Computer Science.
Anil Nerode, Luis Moniz Pereira, A. Nerode, 1993 .
Anil Nerode, A. Nerode, 2014, Turing's Legacy.
Victor W. Marek, Anil Nerode, Maurice Bruynooghe, 1994 .
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2016, Lecture Notes in Computer Science.
Anil Nerode, Melvin Fitting, A. Nerode, 2014, Ann. Pure Appl. Log..
Anil Nerode, Jeffrey B. Remmel, Andre Scedrov, 1989, LICS 1989.
Anil Nerode, Michael A. Taitslin, A. Nerode, 1994, Ann. Pure Appl. Log..
Anil Nerode, Gerald E. Sacks, G. Sacks, 1996, Ann. Pure Appl. Log..
Anil Nerode, Luis Moniz Pereira, A. Nerode, 1993 .
Anil Nerode, A. Nerode, 2016, The Bulletin of Symbolic Logic.
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2020, J. Log. Comput..
Anil Nerode, Luis Moniz Pereira, A. Nerode, 1993 .
Anil Nerode, Jeffrey B. Remmel, A. Nerode, 1989, Ann. Pure Appl. Log..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1992, Structural Complexity and Recursion-theoretic methods in Logic-Programming.
Anil Nerode, Bakhadyr Khoussainov, A. Nerode, 1994, LFCS.
Anil Nerode, Luis Moniz Pereira, A. Nerode, 1993 .
Anil Nerode, Robert Saxon Milnikel, A. Nerode, 1999 .
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2020, J. Log. Comput..
Anil Nerode, David Gries, A. Nerode, 2014 .
Anil Nerode, A. Nerode, 2004, Ann. Pure Appl. Log..
Anil Nerode, Mikhail Taitslin, A. Nerode, 1992, Lecture Notes in Computer Science.
Anil Nerode, Luis Moniz Pereira, A. Nerode, 1993 .
Zelda B. Zabinsky, Wolf Kohn, A. Nerode, 2018 .
A. Nerode, W. Kohn, A. Nerode, 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.
Anil Nerode, Wolf Kohn, A. Nerode, 1992, Hybrid Systems.
Anil Nerode, V. S. Subrahmanian, James J. Lu, 1996, IEEE Trans. Knowl. Data Eng..
A. Nerode, L. Harrington, 1985 .
Jaideep Srivastava, Anil Nerode, Duminda Wijesekera, 2001, Theor. Comput. Sci..
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, 1994, JACM.
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1999, Ann. Pure Appl. Log..
Anil Nerode, V. S. Subrahmanian, Vadam Kagan, 1996, Theor. Comput. Sci..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1994, Ann. Pure Appl. Log..
Anil Nerode, Jeffrey B. Remmel, Wolf Kohn, 1994, Hybrid Systems.
Jaideep Srivastava, Anil Nerode, Duminda Wijesekera, 1997, TABLEAUX.
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, 1996, TODS.
Anil Nerode, Sergei Artemov, A. Nerode, 2018, Lecture Notes in Computer Science.
Anil Nerode, Wolf Kohn, A. Nerode, 1992, Hybrid Systems.
Anil Nerode, A. Nerode, 1991 .
A. Nerode, A. Yakhnis, A. Nerode, 1995, Proceedings of Tenth International Symposium on Intelligent Control.
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Anil Nerode, Vladimir Yakhnis, Alexander Yakhnis, 1993 .
Anil Nerode, Suman Ganguli, A. Nerode, 2004, Ann. Pure Appl. Log..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1997, Arch. Math. Log..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1997, Fundam. Informaticae.
Anil Nerode, V. S. Subrahmanian, Jeffrey B. Remmel, 1997, Theor. Comput. Sci..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1994, J. Log. Program..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1992, Ann. Pure Appl. Log..
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
E. Skafidas, A. Nerode, R. Evans, 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
A. Nerode, J. M. Davoren, J.M. Davoren, 2000, Proceedings of the IEEE.
Anil Nerode, Bjørn Kjos-Hanssen, A. Nerode, 2007, LFCS.
A. Nerode, A. Ravn, H. Rischel, 1993 .
Anil Nerode, Jeffrey B. Remmel, A. Nerode, 2008 .
Anil Nerode, Jeffrey B. Remmel, S. S. Goncharov, 1998 .
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis, 1996, Ann. Pure Appl. Log..
Anil Nerode, Wolf Kohn, Jeffrey B. Remmel, 1996, Hybrid Systems.
A. Nerode, A. Nerode, S. Artemov, 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
Anil Nerode, Sergei N. Artëmov, Jennifer M. Davoren, 1997, LFCS.
Panos J. Antsaklis, Anil Nerode, Wolf Kohn, 1994, Lecture Notes in Computer Science.
Jaideep Srivastava, Anil Nerode, Duminda Wijesekera, 1999, Multimedia Systems.
Anil Nerode, Richard A. Shore, A. Nerode, 1997, Graduate Texts in Computer Science.
Anil Nerode, Rajeev Goré, Jennifer M. Davoren, 2004, FORMATS/FTRTFT.
Anil Nerode, Joseph S. Miller, A. Nerode, 2002 .
Anil Nerode, Richard A. Shore, A. Nerode, 1980 .
Anil Nerode, Richard A. Shore, A. Nerode, 1980 .
Anil Nerode, Srikanth Gottipati, A. Nerode, 2007, LFCS.
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel, 2005, Annals of Mathematics and Artificial Intelligence.
Anil Nerode, George Metakides, A. Nerode, 1982 .
Anil Nerode, Wolf Kohn, Jeffrey B. Remmel, 1997, Hybrid Systems.
Wolf Kohn, A. Nerode, J. B. Remmel, 1998, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, 1992, PODS.
Anil Nerode, Duminda Wijesekera, A. Nerode, 2005, Ann. Pure Appl. Log..
Anil Nerode, A. Nerode, J. Remmel, 1996, Ann. Pure Appl. Log..
Anil Nerode, Jeffrey B. Remmel, A. Nerode, 1990 .
A. Nerode, B. Khoussainov, H. Ishihara, 1998, Inf. Comput..