Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop

By

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

By

Logical Foundations of Computer Science Tver 92 Second International Symposium Tver Russia July 20 24 1992

By Anil Nerode

Hybrid Systems

By Anil Nerode, Robert L. Grossman, Anders P. Ravn

Logical Foundations of Computer Science

By Anil Nerode

Logic for Applications

By Anil Nerode, Richard A. Shore

Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematic...

Logic for Applications

By Anil Nerode, Richard A. Shore

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is...

Recursion theory

By

Automata Theory and its Applications Progress in Computer Science and Applied Logic PCS

By Anil Nerode, Bakhadyr Khoussainov

Logical Methods

By

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...