Nerode, Anil 1932
Overview
Works:  184 works in 476 publications in 3 languages and 5,954 library holdings 

Genres:  Conference proceedings 
Roles:  Author, Editor, Honoree, Other 
Classifications:  QA76.63, 004 
Publication Timeline
.
Most widely held works by
Anil Nerode
Logical foundations of computer science international symposium, LFCS 2007, New York, NY, USA, June 47, 2007 : proceedings
by
S. N Artemov(
)
27 editions published between 2007 and 2009 in English and held by 933 WorldCat member libraries worldwide
27 editions published between 2007 and 2009 in English and held by 933 WorldCat member libraries worldwide
Logic for applications
by
Anil Nerode(
Book
)
28 editions published between 1993 and 2012 in English and German and held by 528 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
28 editions published between 1993 and 2012 in English and German and held by 528 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
)
19 editions published between 1973 and 2014 in 3 languages and held by 428 WorldCat member libraries worldwide
19 editions published between 1973 and 2014 in 3 languages and held by 428 WorldCat member libraries worldwide
Recursion theory
by AMSASL Summer Institute on Recursion Theory(
Book
)
16 editions published between 1984 and 1985 in English and held by 399 WorldCat member libraries worldwide
16 editions published between 1984 and 1985 in English and held by 399 WorldCat member libraries worldwide
Logical foundations of computer scienceTver '92 : second international symposium, Tver, Russia, July 2024, 1992 proceedings
by
Anil Nerode(
Book
)
15 editions published in 1992 in English and Undetermined and held by 361 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
15 editions published in 1992 in English and Undetermined and held by 361 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
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 1114, 1994 : proceedings
by
Anil Nerode(
Book
)
12 editions published in 1994 in English and held by 343 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
12 editions published in 1994 in English and held by 343 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 2428, 1995 : proceedings
by
Wiktor Marek(
Book
)
14 editions published in 1995 in English and held by 339 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
14 editions published in 1995 in English and held by 339 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
)
10 editions published in 1997 in English and held by 316 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
10 editions published in 1997 in English and held by 316 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 8th international conference, LPNMR 2005, Diamante, Italy, September 58, 2005 : proceedings
by
Chitta Baral(
Book
)
11 editions published in 1997 in English and held by 316 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
11 editions published in 1997 in English and held by 316 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
Logical foundations of computer science International Symposium, LFCS 2013, San Diego, CA, USA, January 68, 2013. Proceedings
by
S. N Artemov(
)
5 editions published in 2013 in English and held by 314 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; 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; logical methods in program specification and extraction; domain theory logic; 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; mathematical fuzzy logic; system design logics; and other logics in computer science
5 editions published in 2013 in English and held by 314 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; 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; logical methods in program specification and extraction; domain theory logic; 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; mathematical fuzzy logic; system design logics; and other logics in computer science
Principles of logic and logic programming
by
George Metakides(
)
10 editions published in 1996 in English and held by 280 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
10 editions published in 1996 in English and held by 280 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
Automata theory and its applications
by
Bakhadyr Khoussainov(
Book
)
8 editions published in 2001 in English and held by 221 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
8 editions published in 2001 in English and held by 221 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
Logic programming and nonmonotonic reasoning : proceedings of the second international workshop
(
Book
)
4 editions published in 1993 in English and held by 216 WorldCat member libraries worldwide
4 editions published in 1993 in English and held by 216 WorldCat member libraries worldwide
Logic programming and nonmonotonic reasoning : proceedings of the first international workshop
(
Book
)
7 editions published in 1991 in English and held by 186 WorldCat member libraries worldwide
7 editions published in 1991 in English and held by 186 WorldCat member libraries worldwide
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 142 WorldCat member libraries worldwide
Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs
6 editions published in 1993 in English and held by 142 WorldCat member libraries worldwide
Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs
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 66 WorldCat member libraries worldwide
3 editions published in 1981 in English and held by 66 WorldCat member libraries worldwide
Hybrid systems
by
Robert Grossman(
)
5 editions published in 1993 in English and Italian and held by 42 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
5 editions published in 1993 in English and Italian and held by 42 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
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 36, 2009. Proceedings
by David Hutchison(
)
1 edition published in 2009 in English and held by 39 WorldCat member libraries worldwide
1 edition published in 2009 in English and held by 39 WorldCat member libraries worldwide
Hybrid systems II
by
Panos J Antsaklis(
)
3 editions published in 1995 in English and held by 39 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 39 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
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
 Marek, Wiktor Author Editor
 American Mathematical Society
 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
 Truszczyński, Mirosław Editor
Useful Links
Associated Subjects
AlgebraData processing Artificial intelligence Combinatorial analysis Computational intelligence Computer logic Computers Computer science Computer scienceMathematics Computer software Digital control systems Electronic data processing Functor theory Hybrid computers Information theory Logic, Symbolic and mathematical Logic design Logic programming Machine theory Mathematics Nonmonotonic reasoning Reasoning Recursion theory Sanitary landfillsEnvironmental aspects Sewage disposal in the groundEnvironmental aspects Sewage irrigationEnvironmental aspects Sewage sludgeEnvironmental aspects Software engineering Structural control (Engineering)