Order:
Disambiguations
A. Nerode [41]Anil Nerode [38]
  1.  12
    Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  6
    A Survey of Lattices of Re Substructures.Anil Nerode & Jeffrey Remmel - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--323.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  5
    Reducibility Orderings: Theories, Definability and Automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.
  4. A Universal Embedding Property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
  5.  6
    Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  17
    Recursion Theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - American Mathematical Society.
    iterations of REA operators, as well as extensions, generalizations and other applications are given in [6] while those for the ...
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  6
    Effective Completeness Theorems for Modal Logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
    We initiate the study of computable model theory of modal logic, by proving effective completeness theorems for a variety of first-order modal logics. We formulate a natural definition of a decidable Kripke model, and show how to construct such a decidable Kripke model of a given decidable theory. Our construction is inspired by the effective Henkin construction for classical logic. The Henkin construction, however, depends in an essential way on the Deduction Theorem. In its usual form the Deduction Theorem fails (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  6
    Tableaux for Constructive Concurrent Dynamic Logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
    This is the first paper on constructive concurrent dynamic logic . For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on Found. Comp. Sci., New York, 1976, pp. 109–121, V. Pratt, Applications of modal logic to programming, Studia Logica 39 257–274] (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  8
    Complexity-Theoretic Algebra II: Boolean Algebras.A. Nerode & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 44 (1-2):71-99.
  10. Downey, R., Fiiredi, Z., Jockusch Jr., CG and Ruhel, LA.W. I. Gasarch, A. C. Y. Lee, M. Groszek, T. Hummel, V. S. Harizanov, H. Ishihara, B. Khoussainov, A. Nerode, I. Kalantari & L. Welch - 1998 - Annals of Pure and Applied Logic 93:263.
     
    Export citation  
     
    Bookmark   3 citations  
  11.  16
    Decidable Kripke Models of Intuitionistic Theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
    In this paper we introduce effectiveness into model theory of intuitionistic logic. The main result shows that any computable theory T of intuitionistic predicate logic has a Kripke model with decidable forcing such that for any sentence φ, φ is forced in the model if and only if φ is intuitionistically deducible from T.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  12
    Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.Xiaolin Ge & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):127-146.
    The content of existence theorems in the calculus of variations has been explored and an effective treatment of semi-continuity has been achieved. An algorithm has been developed which captures the natural algorithmic content of the notion of a semi-continuous function and this is used to obtain an effective version of the “chattering lemma” of control theory and ordinary differential equations. This lemma reveals the main computational content of the theory of relaxed optimal control.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  69
    Meeting of the Association for Symbolic Logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
  14.  19
    A Context for Belief Revision: Forward Chaining-Normal Nonmonotomic Rule Systems.V. W. Marek, A. Nerode & J. B. Remmel - 1994 - Annals of Pure and Applied Logic 67 (1-3):269-323.
    A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. An Appreciation of Kreisel.Anil Nerode - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 81.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  5
    Preface.Anil Nerode - 2004 - Annals of Pure and Applied Logic 126 (1-3):1-2.
  17.  30
    Nonmonotonic Rule Systems with Recursive Sets of Restraints.V. Wiktor Marek, Anil Nerode & Jeffrey B. Remmel - 1997 - Archive for Mathematical Logic 36 (4-5):339-384.
  18.  8
    McNaughton Games and Extracting Strategies for Concurrent Programs.Anil Nerode, Jeffrey B. Remmel & Alexander Yakhnis - 1996 - Annals of Pure and Applied Logic 78 (1-3):203-242.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  23
    Preface.A. Nerode & M. A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):1.
  20.  10
    How Complicated is the Set of Stable Models of a Recursive Logic Program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
    Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  3
    Preface.Anil Nerode & Gerald Sacks - 1996 - Annals of Pure and Applied Logic 81 (1-3):1.
  22.  23
    The Life and Work of Sergei Artemov.Anil Nerode & Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):3-5.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Daniel Lacombe. Extension de la Notion de Fonction Récursive aux Fonctions d'Une Ou Plusieurs Variables Réelles. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 240 , Pp. 2478–2480, and Vol. 241 , Pp. 13–14, 151–153. - Daniel Lacombe. Remarques Sur les Opérateurs Récursifs Et Surles Fonctions Récursives d'Une Variable Réelle. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 241 , Pp. 1250–1252. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  16
    J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  4
    Review: J. R. Shoenfield, Quasicreative Sets. [REVIEW]A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-166.
  26.  14
    Preface.Sergei Artemov & Anil Nerode - 2012 - Annals of Pure and Applied Logic 163 (7):743-744.
  27.  11
    Lacombe Daniel. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 1040–1043. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  10
    Reviews. Evert W. Beth. The Foundations of Mathematics, A Study in the Philosophy of Science. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 Pp. [REVIEW]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  8
    J. C. E. Dekker and J. Myhill. Retraceable Sets. Canadian Journal of Mathematics, Vol. 10 , Pp. 357–373.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  2
    P. Lorenzen and J. Myhill. Constructive Definition of Certain Analytic Sets of Numbers. The Journal of Symbolic Logic, Vol. 24 No. 1 , Pp. 37–49.A. Nerode - 1968 - Journal of Symbolic Logic 33 (2):295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Myhill John. Recursive Digraphs, Splinters, and Cylinders. Mathematische Annalen, Vol. 138 , Pp. 211–218.A. Nerode - 1960 - Journal of Symbolic Logic 25 (4):361-362.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  8
    Computing Definite Logic Programs by Partial Instantiation.Vadim Kagan, Anil Nerode & V. S. Subrahmanian - 1994 - Annals of Pure and Applied Logic 67 (1-3):161-182.
    Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop a theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Logic at Tver '92.Anil Nerode & M. Taitslin - 1993 - Journal of Symbolic Logic 58 (3):1150-1150.
  34.  9
    Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types I. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
  35.  6
    Shoenfield J. R.. Quasicreative Sets. Proceedings of the American Mathematical Society, Vol. 8 , Pp. 964–967.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-166.
  36.  2
    Review: Daniel Lacombe, Classes Recursivement Fermees et Fonctions Majorantes. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):52-53.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  7
    Generic Objects in Recursion Theory II: Operations on Recursive Approximation Spaces.A. Nerode & J. B. Remmel - 1986 - Annals of Pure and Applied Logic 31 (2):257-288.
  38.  13
    In Memoriam: Paul J. Cohen, 1934—2007.Anil Nerode - 2009 - Bulletin of Symbolic Logic 15 (4):439-440.
  39.  8
    Logic Programs, Well-Orderings and Forward Chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Meeting of the Association for Symbolic Logic, New York 1969.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
  41.  6
    Review: Daniel Lacombe, Extension de la Notion de Fonction Recursive aux Fonctions d'une ou Plusieurs Variables Reelles; Daniel Lacombe, Remarques sur les Operateurs Recursifs et sur les Fonctions Recursives. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  4
    Preface.Yuri Matiyasevich & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):1.
  43.  3
    On the Lattices of NP-Subspaces of a Polynomial Time Vector Space Over a Finite Field.Anil Nerode & J. B. Remmel - 1996 - Annals of Pure and Applied Logic 81 (1-3):125-170.
    In this paper, we study the lower semilattice of NP-subspaces of both the standard polynomial time representation and the tally polynomial time representation of a countably infinite dimensional vector space V∞ over a finite field F. We show that for both the standard and tally representation of V∞, there exists polynomial time subspaces U and W such that U + V is not recursive. We also study the NP analogues of simple and maximal subspaces. We show that the existence of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  2
    Goodstein R. L.. The Recursive Irrationality of Π.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
  45.  2
    Kleene S. C.. Recursive Functionals and Quantifiers of Finite Types I. Transactions of the American Mathematical Society, Vol. 91 , Pp. 1–52. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
  46.  2
    Lacombe Daniel. Classes récursivement fermées et fonctions majorantes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 240 , pp. 716–718. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):52-53.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. LFCS 2013.Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734).Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
     
    Export citation  
     
    Bookmark  
  49. Managing Editors D. Van Dalen Y. Gurevich J. Hartmanis.K. Kunen, A. Nerode, A. Prestel, P. Aczel, Hp Barendregt, E. Borger, Jn Crossley, E. Engeler, P. Hajek & Ba Kushner - 1984 - Annals of Pure and Applied Logic 26:101.
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Logic Programming and Non-Monotonic Reasoning Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991
     
    Export citation  
     
    Bookmark  
1 — 50 / 58