Nerode, Anil 1932
Overview
Works:  156 works in 539 publications in 5 languages and 6,958 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Honoree, Thesis advisor, Other 
Classifications:  QA76.63, 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
)
88 editions published between 1992 and 2016 in 4 languages and held by 804 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
88 editions published between 1992 and 2016 in 4 languages and held by 804 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
)
35 editions published between 1993 and 2007 in 3 languages and held by 517 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
35 editions published between 1993 and 2007 in 3 languages and held by 517 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 425 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 425 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 2014 in English and held by 388 WorldCat member libraries worldwide
19 editions published between 1984 and 2014 in English and held by 388 WorldCat member libraries worldwide
Logic programming and nonmonotonic reasoning : proceedings of the first international workshop by
Luís Moniz Pereira(
Book
)
18 editions published between 1991 and 1993 in English and held by 336 WorldCat member libraries worldwide
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and nonmonotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Wellfounded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency."
18 editions published between 1991 and 1993 in English and held by 336 WorldCat member libraries worldwide
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and nonmonotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Wellfounded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency."
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 271 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 271 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
Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 612, 1997 : proceedings by
S. I Adi︠a︡n(
Book
)
17 editions published in 1997 in English and held by 232 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community
17 editions published in 1997 in English and held by 232 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 2831,
1997 : proceedings by
J Dix(
Book
)
13 editions published in 1997 in English and held by 231 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report stateoftheart research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence
13 editions published in 1997 in English and held by 231 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report stateoftheart research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence
Automata theory and its applications by
Bakhadyr Khoussainov(
Book
)
11 editions published in 2001 in English and held by 208 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
11 editions published in 2001 in English and held by 208 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
)
8 editions published in 1993 in English and held by 142 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
8 editions published in 1993 in English and held by 142 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
)
17 editions published in 1996 in English and held by 125 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 an
17 editions published in 1996 in English and held by 125 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 an
Development of methodology for determining risk assessment when sludge is applied to land by
Peter R Jutro(
Book
)
2 editions published in 1981 in English and held by 68 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 68 WorldCat member libraries worldwide
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 36, 2009. Proceedings by David Hutchison(
)
3 editions published in 2009 in English and held by 32 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science
3 editions published in 2009 in English and held by 32 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science
Hybrid systems by
Robert Grossman(
)
6 editions published in 1993 in English and Italian and held by 30 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 30 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 28 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 28 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 IV by
Panos J Antsaklis(
)
2 editions published in 1997 in English and held by 27 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 27 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
Hybrid systems V by
Panos J Antsaklis(
)
4 editions published in 1999 in English and held by 27 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 27 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
Computability and complexity in analysis by
KerI Ko(
Book
)
6 editions published between 1997 and 2002 in English and held by 13 WorldCat member libraries worldwide
6 editions published between 1997 and 2002 in English and held by 13 WorldCat member libraries worldwide
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
)
5 editions published in 1990 in English and Undetermined and held by 3 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
5 editions published in 1990 in English and Undetermined and held by 3 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
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 Contributor Editor
 Crossley, John N. Author Editor
 Marek, Wiktor Other Author Editor
 Taitslin, M. A. (Mikhail A.) 1936 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
 Dix, J. (Jürgen) 1961 Author Editor
Useful Links
Associated Subjects
Algebra AlgebraData processing Algorithms Artificial intelligence Combinatorial analysis Computable functions Computational complexity Computational intelligence Computer arithmetic and logic units Computer inputoutput equipment Computer logic Computer programming Computers Computer science Computer scienceMathematics Computer software Digital control systems Electronic data processing Engineering Functor theory Hybrid computers Hybridization Information theory Logic, Symbolic and mathematical Logic design Logic programming Machine theory Mathematical analysis Mathematics Nerode, Anil, Nonmonotonic reasoning Programming (Mathematics) Reasoning Recursion theory Sanitary landfillsEnvironmental aspects Sewage disposal in the groundEnvironmental aspects Sewage irrigationEnvironmental aspects Sewage sludgeEnvironmental aspects Software engineering Structural control (Engineering)
Alternative Names
Anil Nerode Amerikaans wiskundige
Anil Nerode matemático estadounidense
Anil Nerode matematico statunitense
Anil Nerode mathématicien américain
Anil Nerode USamerikanischer Mathematiker
Nerode, A.
Nerode, A. 1932
Nerode, A. (Anil), 1932
Nerode, Anil
Nerode, Anil 1932
آنیل نرود ریاضیدان و دانشمند علوم کامپیوتر آمریکایی
Languages
Covers