Nerode, Anil 1932
Overview
Works:  139 works in 514 publications in 5 languages and 6,522 library holdings 

Genres:  Conference papers and proceedings Periodicals 
Roles:  Author, Editor, Honoree, Other, Thesis advisor 
Classifications:  QA75.5, 511.3 
Publication Timeline
.
Most widely held works by
Anil Nerode
Logical foundations of computer scienceTver '92 : second international symposium, Tver, Russia, July 2024, 1992 proceedings by
Anil Nerode(
Book
)
97 editions published between 1992 and 2016 in 4 languages and held by 1,060 WorldCat member libraries worldwide
"This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science."PUBLISHER'S WEBSITE
97 editions published between 1992 and 2016 in 4 languages and held by 1,060 WorldCat member libraries worldwide
"This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science."PUBLISHER'S WEBSITE
Logic for applications by
Anil Nerode(
Book
)
33 editions published between 1993 and 2012 in 3 languages and held by 520 WorldCat member libraries worldwide
Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and nonclassical logics  modal and intuitionistic
33 editions published between 1993 and 2012 in 3 languages and held by 520 WorldCat member libraries worldwide
Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and nonclassical logics  modal and intuitionistic
Combinatorial functors by
John N Crossley(
Book
)
22 editions published between 1973 and 2014 in 3 languages and held by 427 WorldCat member libraries worldwide
Nullane de tantis gregibus tibi digna videtur? rara avis in terra nigroque simillima cygno. Juvenal Sat. VI 161, 165. 1966JNC visits AN at CornelI. An idea emerges. 1968JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma script appears. 1970AN visits JNC at Monash. 1971The Australian manuscript appears. 1972JNC visits AN at Cornell. Here is the result. We gratefully acknowledge support from Cornell Vniversity, Vni versity of California at Los Angeles, Monash Vniversity and National Science Foundation Grants GP 14363, 22719 and 28169. We are deeply indebted to the many people who have helped uso Amongst the mathe maticians, we are particularly grateful to J.C.E. Dekker, John Myhill, Erik Ellentuck, Peter AczeI, Chris Ash, Charlotte ehell, Ed Eisenberg, Dave Gillam, Bill Gross, Alan Hamilton, Louise Hay, Georg Kreisel, Phil Lavori, Ray Liggett, Al Manaster, Michael D. Morley, Joe Rosen stein, Graham Sainsbury, Bob Soare and Michael Venning. Last, but by no means least, we thank AnneMarie Vandenberg, Esther Monroe, Arletta Havlik, Dolores Pendell, and Cathy Stevens and the girls of the Mathematics Department of VCLA in 1968 for hours and hours of excellent typing. Thanksgiving November 1972 J.N. Crossley Ithaca, New Y ork Anil Nerode Contents O. Introduction ... . 1 Part 1. Categories and Functors 3 1. Categories ... . . 3 2. Morphism Combinatorial Functors 3 3. Combinatorial Functors ... . 18 Part H. Model Theory . . 18 4. Countable Atomic Models 18 5. Copying . 22 6. Dimension ... . 26 Part III
22 editions published between 1973 and 2014 in 3 languages and held by 427 WorldCat member libraries worldwide
Nullane de tantis gregibus tibi digna videtur? rara avis in terra nigroque simillima cygno. Juvenal Sat. VI 161, 165. 1966JNC visits AN at CornelI. An idea emerges. 1968JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma script appears. 1970AN visits JNC at Monash. 1971The Australian manuscript appears. 1972JNC visits AN at Cornell. Here is the result. We gratefully acknowledge support from Cornell Vniversity, Vni versity of California at Los Angeles, Monash Vniversity and National Science Foundation Grants GP 14363, 22719 and 28169. We are deeply indebted to the many people who have helped uso Amongst the mathe maticians, we are particularly grateful to J.C.E. Dekker, John Myhill, Erik Ellentuck, Peter AczeI, Chris Ash, Charlotte ehell, Ed Eisenberg, Dave Gillam, Bill Gross, Alan Hamilton, Louise Hay, Georg Kreisel, Phil Lavori, Ray Liggett, Al Manaster, Michael D. Morley, Joe Rosen stein, Graham Sainsbury, Bob Soare and Michael Venning. Last, but by no means least, we thank AnneMarie Vandenberg, Esther Monroe, Arletta Havlik, Dolores Pendell, and Cathy Stevens and the girls of the Mathematics Department of VCLA in 1968 for hours and hours of excellent typing. Thanksgiving November 1972 J.N. Crossley Ithaca, New Y ork Anil Nerode Contents O. Introduction ... . 1 Part 1. Categories and Functors 3 1. Categories ... . . 3 2. Morphism Combinatorial Functors 3 3. Combinatorial Functors ... . 18 Part H. Model Theory . . 18 4. Countable Atomic Models 18 5. Copying . 22 6. Dimension ... . 26 Part III
Recursion theory by
Anil Nerode(
Book
)
19 editions published between 1984 and 1985 in English and Italian and held by 389 WorldCat member libraries worldwide
19 editions published between 1984 and 1985 in English and Italian and held by 389 WorldCat member libraries worldwide
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 2428,
1995 : proceedings by
Wiktor Marek(
Book
)
16 editions published in 1995 in English and held by 282 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
16 editions published in 1995 in English and held by 282 WorldCat member libraries worldwide
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and crossfertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest
Automata theory and its applications by
Bakhadyr Khoussainov(
Book
)
10 editions published in 2001 in English and held by 206 WorldCat member libraries worldwide
Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature by exposing early fundamental results in automata theory and its applications. Beginning with coverage of all standard fundamental results regarding finite automata, the book deals in great detail with BÃ1/4chi and Rabin automata and their applications to various logical theories such as S1S and S2S, and describes gametheoretic models of concurrent operating and communication systems. The book is selfcontained with numerous examples, illustrations, exercises, and is suitable for a twosemester undergraduate course for computer science or mathematics majors, or for a onesemester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for selfstudy by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification
10 editions published in 2001 in English and held by 206 WorldCat member libraries worldwide
Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature by exposing early fundamental results in automata theory and its applications. Beginning with coverage of all standard fundamental results regarding finite automata, the book deals in great detail with BÃ1/4chi and Rabin automata and their applications to various logical theories such as S1S and S2S, and describes gametheoretic models of concurrent operating and communication systems. The book is selfcontained with numerous examples, illustrations, exercises, and is suitable for a twosemester undergraduate course for computer science or mathematics majors, or for a onesemester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for selfstudy by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification
Logical methods : in honor of Anil Nerode's sixtieth birthday by
John N Crossley(
Book
)
6 editions published in 1993 in English and held by 140 WorldCat member libraries worldwide
The papers in general arose from the conference "Logical Methods in Mathematics and Computer Science. A Symposium in Honor of Anil Nerode on the Occasion of his Sixtieth Birthday" at the Mathematical Sciences Institute, Cornell University, from June 13, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work
6 editions published in 1993 in English and held by 140 WorldCat member libraries worldwide
The papers in general arose from the conference "Logical Methods in Mathematics and Computer Science. A Symposium in Honor of Anil Nerode on the Occasion of his Sixtieth Birthday" at the Mathematical Sciences Institute, Cornell University, from June 13, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work
Principles of logic and logic programming by
George Metakides(
Book
)
15 editions published in 1996 in English and held by 126 WorldCat member libraries worldwide
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are selfcontained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming
15 editions published in 1996 in English and held by 126 WorldCat member libraries worldwide
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are selfcontained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming
Development of methodology for determining risk assessment when sludge is applied to land by
Peter R Jutro(
Book
)
3 editions published in 1981 in English and held by 68 WorldCat member libraries worldwide
3 editions published in 1981 in English and held by 68 WorldCat member libraries worldwide
Hybrid systems by
Robert Grossman(
)
6 editions published in 1993 in English and Italian and held by 37 WorldCat member libraries worldwide
"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components  digital computers, sensors, and actuators controlled by programs. This volume of invited refereed papers is inspired by a workshop on the Theory of Hybrid Systems, held at the Technical University, Lyngby, Denmark, in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991, organized by R.L. Grossman and A. Nerode. Some papers are the final versions of papers presented at these workshops and some are invited papers from other researchers who were not able to attend these workshops."PUBLISHER'S WEBSITE
6 editions published in 1993 in English and Italian and held by 37 WorldCat member libraries worldwide
"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components  digital computers, sensors, and actuators controlled by programs. This volume of invited refereed papers is inspired by a workshop on the Theory of Hybrid Systems, held at the Technical University, Lyngby, Denmark, in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991, organized by R.L. Grossman and A. Nerode. Some papers are the final versions of papers presented at these workshops and some are invited papers from other researchers who were not able to attend these workshops."PUBLISHER'S WEBSITE
Hybrid systems II by
Panos J Antsaklis(
)
3 editions published in 1995 in English and held by 29 WorldCat member libraries worldwide
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering
3 editions published in 1995 in English and held by 29 WorldCat member libraries worldwide
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering
Hybrid systems V by
Panos J Antsaklis(
)
4 editions published in 1999 in English and held by 26 WorldCat member libraries worldwide
This book constitutes the strictly refereed postproceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents stateoftheart research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc
4 editions published in 1999 in English and held by 26 WorldCat member libraries worldwide
This book constitutes the strictly refereed postproceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents stateoftheart research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc
Hybrid systems IV by
Panos J Antsaklis(
)
2 editions published in 1997 in English and held by 26 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control
2 editions published in 1997 in English and held by 26 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control
Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 1719, 2000, selected
papers by
Jens Blanck(
Book
)
7 editions published between 1997 and 2002 in English and held by 15 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Computability and Complexity in Analysis, CCA 2000, held in Swansea, UK, in September 2000. The 23 revised full papers presented together with a report on a competition of exact real arithmetic systems were carefully selected from 28 papers accepted for presentation during the workshop. The book presents a crosssection on current research on computability and complexity in analysis
7 editions published between 1997 and 2002 in English and held by 15 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Computability and Complexity in Analysis, CCA 2000, held in Swansea, UK, in September 2000. The 23 revised full papers presented together with a report on a competition of exact real arithmetic systems were carefully selected from 28 papers accepted for presentation during the workshop. The book presents a crosssection on current research on computability and complexity in analysis
A selection of papers presented at the Symposium Logic at Tver '92 by Symposium "Logic at Tver '92"(
Book
)
5 editions published in 1994 in English and held by 7 WorldCat member libraries worldwide
5 editions published in 1994 in English and held by 7 WorldCat member libraries worldwide
Computing circumscriptive databases by
Anil Nerode(
Book
)
4 editions published in 1992 in English and held by 5 WorldCat member libraries worldwide
Finally, we plan to use a standard relational database system as our runtime environment; this should yield relatively fast runtime processing, and provide a more expressive query language in which aggregates and the like can be expressed easily."
4 editions published in 1992 in English and held by 5 WorldCat member libraries worldwide
Finally, we plan to use a standard relational database system as our runtime environment; this should yield relatively fast runtime processing, and provide a more expressive query language in which aggregates and the like can be expressed easily."
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held
at Montecatini Terme, Italy, June 2028, 1988 by
S Homer(
Book
)
6 editions published in 1990 in English and Undetermined and held by 4 WorldCat member libraries worldwide
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization. A. Nerode: Some Lectures on Intuitionistic Logic. R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I.  G.E. Sacks: Prolog Programming. A. Scedrov: A Guide to Polymorphic Types
6 editions published in 1990 in English and Undetermined and held by 4 WorldCat member libraries worldwide
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization. A. Nerode: Some Lectures on Intuitionistic Logic. R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I.  G.E. Sacks: Prolog Programming. A. Scedrov: A Guide to Polymorphic Types
Concurrent programs as strategies in games by
Anil Nerode(
Book
)
6 editions published between 1990 and 1993 in English and held by 3 WorldCat member libraries worldwide
6 editions published between 1990 and 1993 in English and held by 3 WorldCat member libraries worldwide
Model for hybrid systems : automata, topologies, stability by
Anil Nerode(
Book
)
7 editions published between 1992 and 1993 in English and held by 3 WorldCat member libraries worldwide
7 editions published between 1992 and 1993 in English and held by 3 WorldCat member libraries worldwide
Recursive algebra, analysis and combinatorics by Y. L Ershov(
)
1 edition published in 1998 in English and held by 0 WorldCat member libraries worldwide
Synopsis unavailable
1 edition published in 1998 in English and held by 0 WorldCat member libraries worldwide
Synopsis unavailable
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Artemov, S. N. Other Author Editor
 Shore, Richard A. 1946 Editor
 Crossley, John N. Author Editor
 Marek, Wiktor Other Author Editor
 American Mathematical Society Publisher
 Association for Symbolic Logic
 Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.) Author Editor
 Adi︠a︡n, S. I. Author Editor
 Fuhrbach, Ulrich Editor
 Taitslin, M. A. (Mikhail A.) 1936 Editor
Useful Links
Associated Subjects
Artificial intelligence Combinatorial analysis Computable functions Computational complexity Computer graphics Computer logic Computers Computer science Computer scienceMathematics Computer security Computer software Database management Data mining Data protection Data structures (Computer science) Digital control systems Electronic data processing Engineering mathematics Functor theory Global analysis (Mathematics) Hybrid computers Hybridization Information storage and retrieval systems Information theory Logic, Symbolic and mathematical Logic design Logic programming Machine theory Mathematical analysis Mathematics Nerode, Anil, Nonmonotonic reasoning Numerical calculations Numerical calculationsData processing Programming (Mathematics) Programming languages (Electronic computers) Reasoning Recursion theory Relational databases ResearchData processing Sanitary landfillsEnvironmental aspects Science ScienceData processing ScienceMathematics Sewage disposal in the groundEnvironmental aspects Sewage irrigationEnvironmental aspects Sewage sludgeEnvironmental aspects Software engineering System analysis Voronoi polygons
Alternative Names
Anil Nerode Amerikaans wiskundige
Anil Nerode mathématicien américain
Anil Nerode USamerikanischer Mathematiker
Nerode, A.
Nerode, A. 1932
Nerode, A. (Anil), 1932
Nerode, Anil
آنیل نرود ریاضیدان و دانشمند علوم کامپیوتر آمریکایی
Languages
Covers