WorldCat Identities

Nerode, Anil 1932-

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 science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 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
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 non-classical 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. 1966-JNC visits AN at CornelI. An idea emerges. 1968-JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma- script appears. 1970-AN visits JNC at Monash. 1971-The Australian manuscript appears. 1972-JNC 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 Anne-Marie 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

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 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 cross-fertilization 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 game-theoretic models of concurrent operating and communication systems. The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course for computer science or mathematics majors, or for a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study 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 1-3, 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 self-contained; 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

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
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
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 post-proceedings 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 state-of-the-art 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 post-conference 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 17-19, 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 post-proceedings 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 cross-section 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

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 run-time environment; this should yield relatively fast run-time 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 20-28, 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
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

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

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
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.63 (from 0.56 for Logical fo ... to 0.92 for Model for ...)

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Alternative Names
Anil Nerode Amerikaans wiskundige

Anil Nerode mathématicien américain

Anil Nerode US-amerikanischer Mathematiker

Nerode, A.

Nerode, A. 1932-

Nerode, A. (Anil), 1932-

Nerode, Anil

آنیل نرود ریاضی‌دان و دانشمند علوم کامپیوتر آمریکایی

Logic for applicationsLogic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedingsAutomata theory and its applicationsPrinciples of logic and logic programmingHybrid systemsHybrid systems IIHybrid systems VHybrid systems IV