![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Anil Nerode
Person information
- affiliation: Cornell University, Ithaca, NY, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j53]Anil Nerode:
John Crossley: A life intellectual. Log. J. IGPL 31(6): 1023 (2023) - 2022
- [j52]Sergei Artemov, Anil Nerode:
Editorial. J. Log. Comput. 32(8): 1486 (2022) - [e20]Sergei N. Artëmov
, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Lecture Notes in Computer Science 13137, Springer 2022, ISBN 978-3-030-93099-8 [contents] - 2021
- [j51]Sergei N. Artëmov, Anil Nerode:
Editorial. J. Log. Comput. 31(1): 1 (2021) - 2020
- [j50]Sergei N. Artëmov, Anil Nerode:
Special Issue on Logical Foundations of Computer Science. J. Log. Comput. 30(1): 1 (2020) - [j49]Sergei N. Artëmov, Anil Nerode:
Editorial. J. Log. Comput. 30(8): 1429 (2020) - [e19]Sergei N. Artëmov
, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. Lecture Notes in Computer Science 11972, Springer 2020, ISBN 978-3-030-36754-1 [contents]
2010 – 2019
- 2018
- [e18]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10703, Springer 2018, ISBN 978-3-319-72055-5 [contents] - 2017
- [c41]Anil Nerode:
Prequel to the Cornell Computer Science Department. Computability and Complexity 2017: 19-21 - 2016
- [j48]Anil Nerode:
In Memoriam: Hartley Rogers, Jr. 1926-2015. Bull. Symb. Log. 22(2): 294-297 (2016) - [e17]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science 9537, Springer 2016, ISBN 978-3-319-27682-3 [contents] - 2015
- [j47]Wolf Kohn, Zelda B. Zabinsky, Anil Nerode:
A Micro-Grid Distributed Intelligent Control and Management System. IEEE Trans. Smart Grid 6(6): 2964-2974 (2015) - 2014
- [j46]Anil Nerode, Melvin Fitting:
Editorial. Ann. Pure Appl. Log. 165(1): 1-2 (2014) - [j45]Anil Nerode, Melvin Fitting:
The life and work of Sergei Artemov. Ann. Pure Appl. Log. 165(1): 3-5 (2014) - [p1]Anil Nerode:
Musings on Turing's Thesis. Turing's Legacy 2014: 386-396 - 2013
- [e16]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Lecture Notes in Computer Science 7734, Springer 2013, ISBN 978-3-642-35721-3 [contents] - 2012
- [j44]Sergei N. Artëmov, Anil Nerode:
Preface. Ann. Pure Appl. Log. 163(7): 743-744 (2012) - [c40]Anil Nerode:
A Small Tribute. Logic and Program Semantics 2012: 333 - 2010
- [j43]Anil Nerode:
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. Am. Math. Mon. 117(3): 286-288 (2010)
2000 – 2009
- 2009
- [j42]Bjørn Kjos-Hanssen, Anil Nerode:
Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410(4-5): 347-354 (2009) - [e15]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5407, Springer 2009, ISBN 978-3-540-92686-3 [contents] - 2008
- [j41]Anil Nerode, Jeffrey B. Remmel:
Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53(1-4): 289-311 (2008) - [j40]Bakhadyr Khoussainov, Anil Nerode:
Open Questions in the Theory of Automatic Structures. Bull. EATCS 94: 181-204 (2008) - 2007
- [c39]Anil Nerode:
Logic and Control. CiE 2007: 585-597 - [c38]Srikanth Gottipati, Anil Nerode:
A Synthesis Algorithm for Hybrid Systems. LFCS 2007: 254-268 - [c37]Bjørn Kjos-Hanssen, Anil Nerode:
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS 2007: 310-317 - [c36]Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode:
Evaluating distributed xacml policies. SWS 2007: 99-110 - [e14]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Lecture Notes in Computer Science 4514, Springer 2007, ISBN 978-3-540-72732-3 [contents] - 2005
- [j39]Duminda Wijesekera, Anil Nerode:
Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Log. 135(1-3): 1-72 (2005) - [c35]Duminda Wijesekera, James Bret Michael, Anil Nerode:
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118 - 2004
- [j38]Anil Nerode:
Preface. Ann. Pure Appl. Log. 126(1-3): 1-2 (2004) - [j37]Suman Ganguli, Anil Nerode:
Effective completeness theorems for modal logic. Ann. Pure Appl. Log. 128(1-3): 141-195 (2004) - [c34]Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT 2004: 52-67 - 2002
- [j36]Ker-I Ko, Anil Nerode, Klaus Weihrauch:
Foreword. Theor. Comput. Sci. 284(2): 197 (2002) - [c33]Jennifer M. Davoren, Thomas Moor, Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163 - 2001
- [j35]Duminda Wijesekera, M. Ganesh, Jaideep Srivastava
, Anil Nerode:
Normal forms and syntactic completeness proofs for functional independencies. Theor. Comput. Sci. 266(1-2): 365-405 (2001) - 2000
- [j34]Jennifer M. Davoren, Anil Nerode:
Logics for hybrid systems. Proc. IEEE 88(7): 985-1010 (2000) - [j33]Tony S. Lee, Sumit Ghosh, Anil Nerode:
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework. IEEE Trans. Syst. Man Cybern. Part B 30(1): 229-239 (2000)
1990 – 1999
- 1999
- [j32]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96(1-3): 231-276 (1999) - [j31]Duminda Wijesekera, Jaideep Srivastava
, Anil Nerode, Mark Foresti:
Experimental Evaluation of Loss Perception in Continuous Media. Multim. Syst. 7(6): 486-499 (1999) - [c32]Tony S. Lee, Sumit Ghosh, Anil Nerode:
A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation. ISADS 1999: 206-212 - [e13]Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry:
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997. Lecture Notes in Computer Science 1567, Springer 1999, ISBN 3-540-65643-X [contents] - 1998
- [j30]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode:
Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. 93(1-3): 115-123 (1998) - [j29]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode:
Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998) - [j28]Panos J. Antsaklis, Anil Nerode:
Hybrid Control Systems: An Introductory Discussion to the Special Issue. IEEE Trans. Autom. Control. 43(4): 457-460 (1998) - [c31]Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode:
Performance evaluation of media losses in the Continuous Media Toolkit. MSE 1998: 60-67 - 1997
- [b2]Anil Nerode, Richard A. Shore:
Logic for Applications, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-0-387-94893-5, pp. I-XIII, 1-456 - [j27]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997) - [j26]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32(2): 139-147 (1997) - [j25]Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian:
Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171(1-2): 111-146 (1997) - [c30]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems 1997: 122-141 - [c29]Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode:
Optimal Controller Switching for Stochastic Systems. Hybrid Systems 1997: 341-355 - [c28]Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode:
Topological Semantics for Hybrid Systems. LFCS 1997: 1-8 - [c27]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225 - [c26]Duminda Wijesekera, M. Ganesh, Jaideep Srivastava
, Anil Nerode:
Tableaux for Functional Dependencies and Independencies. TABLEAUX 1997: 358-372 - [e12]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996. Lecture Notes in Computer Science 1273, Springer 1997, ISBN 3-540-63358-8 [contents] - [e11]Sergei I. Adian, Anil Nerode:
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Lecture Notes in Computer Science 1234, Springer 1997, ISBN 3-540-63045-7 [contents] - [e10]Jürgen Dix, Ulrich Furbach, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7 [contents] - 1996
- [j24]Yuri V. Matiyasevich, Anil Nerode:
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg". Ann. Pure Appl. Log. 78(1-3): 1 (1996) - [j23]Xiaolin Ge, Anil Nerode:
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. Ann. Pure Appl. Log. 78(1-3): 127-146 (1996) - [j22]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Log. 78(1-3): 203-242 (1996) - [j21]Anil Nerode, Gerald E. Sacks:
Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Log. 81(1-3): 1 (1996) - [j20]Anil Nerode, Jeffrey B. Remmel:
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. Ann. Pure Appl. Log. 81(1-3): 125-170 (1996) - [j19]Vadim Kagan, Anil Nerode, V. S. Subrahmanian:
Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996) - [j18]Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer
, V. S. Subrahmanian:
A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. 166(1&2): 221-262 (1996) - [j17]James J. Lu, Anil Nerode, V. S. Subrahmanian:
Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996) - [j16]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Implementing Deductive Databases by Mixed Integer Programming. ACM Trans. Database Syst. 21(2): 238-269 (1996) - [c25]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Agent Based Velocity Control of Highway Systems. Hybrid Systems 1996: 174-214 - [c24]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293 - [c23]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. LICS 1996: 513-522 - 1995
- [j15]Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput. 116(1): 58-80 (1995) - [j14]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995) - [c22]Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems 1995: 76-100 - [c21]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185 - [c20]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. LPNMR 1995: 43-56 - [e9]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3 [contents] - [e8]V. Wiktor Marek, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, ISBN 3-540-59487-6 [contents] - 1994
- [j13]Anil Nerode, Michael A. Taitslin:
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. Ann. Pure Appl. Log. 67(1-3): 1 (1994) - [j12]Vadim Kagan, Anil Nerode, V. S. Subrahmanian:
Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Log. 67(1-3): 161-182 (1994) - [j11]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67(1-3): 269-323 (1994) - [j10]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. J. ACM 41(6): 1178-1215 (1994) - [j9]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994) - [j8]Anil Nerode, Victor W. Marek, V. S. Subrahmanian:
Introduction. Methods Log. Comput. Sci. 1(1): 1-3 (1994) - [c19]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems 1994: 294-321 - [c18]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358 - [c17]Bakhadyr Khoussainov, Anil Nerode:
Automatic Presentations of Structures. LCC 1994: 367-392 - [c16]Xiaolin Ge, Anil Nerode:
On Extreme Points of Convex Compact Turing Located Set. LFCS 1994: 114-128 - [c15]Bakhadyr Khoussainov, Anil Nerode:
The Notion of Rank and Games. LFCS 1994: 204-217 - [c14]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases 1994 - [e7]Anil Nerode, Yuri V. Matiyasevich:
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 813, Springer 1994, ISBN 3-540-58140-5 [contents] - 1993
- [b1]Anil Nerode, Richard A. Shore:
Logic for Applications. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-0-387-94129-5, pp. I-XVII, 1-365 - [c13]Anil Nerode, Wolf Kohn:
Hybrid Systems and Constraint Logic Programming. ICLP 1993: 18-24 - [c12]Wolf Kohn, Anil Nerode:
Autonomous Control of Hybrid Systems with Declarative Controllers. LPNMR 1993: 3-22 - [c11]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Implementing Stable Semantics by Linear Programming. LPNMR 1993: 23-42 - [e6]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents] - [e5]Luís Moniz Pereira, Anil Nerode:
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. MIT Press 1993, ISBN 0-262-66083-0 [contents] - 1992
- [j7]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992) - [j6]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Log. 56(1-3): 119-135 (1992) - [c10]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Introduction. Hybrid Systems 1992: 1-3 - [c9]Anil Nerode, Wolf Kohn:
Multiple Agent Hybrid Control Architecture. Hybrid Systems 1992: 297-316 - [c8]Anil Nerode, Wolf Kohn:
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. Hybrid Systems 1992: 317-356 - [c7]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92 - [c6]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460 - [c5]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Implementing Deductive Databases by Linear Programming. PODS 1992: 283-292 - [e4]Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992. Mathematical Sciences Institute, Cornell University 1992 [contents] - [e3]Anil Nerode, Michael A. Taitslin:
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Lecture Notes in Computer Science 620, Springer 1992, ISBN 3-540-55707-5 [contents] - 1991
- [e2]Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian:
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991. The MIT Press 1991, ISBN 0-262-64027-9 [contents] - 1990
- [j5]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1: 241-273 (1990) - [c4]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems. LICS 1990: 79-94 - [e1]V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian:
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990. 1990 [contents]
1980 – 1989
- 1989
- [j4]Anil Nerode, Jeffrey B. Remmel:
Complexity-Theoretic Algebra II: Boolean Algebras. Ann. Pure Appl. Log. 44(1-2): 71-99 (1989) - [c3]Anil Nerode, Jeffrey B. Remmel, Andre Scedrov:
Polynomially Grade Logic I: A Graded Version of System T. LICS 1989: 375-385 - 1987
- [c2]Anil Nerode, Jeffrey B. Remmel:
Complexity theoretic algebra I - vector spaces over finite fields. SCT 1987: 218-239 - 1986
- [j3]Anil Nerode, Jeffrey B. Remmel:
Generic objects in recursion theory II: Operations on recursive approximation spaces. Ann. Pure Appl. Log. 31: 257-288 (1986) - [c1]Anil Nerode:
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). LICS 1986: 120
1970 – 1979
- 1973
- [j2]Anil Nerode, K. Jon Barwise:
Meeting of the Association for Symbolic Logic. J. Symb. Log. 38(2): 348-358 (1973) - 1970
- [j1]Anil Nerode, Alfred B. Manaster:
A Universal Embedding Property of the RETs. J. Symb. Log. 35(1): 51-59 (1970)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint