A. Nerode
A. Nerode
Books
Co-authored books and collections
Books that list A. Nerode among their authors but not as the lead author: co-written works, collections and compilations.
Combinatorial FunctorsJ. N. Crossley
Combinatorial Functors
J. N. Crossley · 2012
Recursive Algebra, Analysis and CombinatoricsY. L. Ershov
Recursive Algebra, Analysis and Combinatorics
Y. L. Ershov · 1998
Recursive Model TheoryY. L. Ershov
Recursive Model Theory
Y. L. Ershov · 1998
Principles of Logic and Logic ProgrammingG. Metakides
Principles of Logic and Logic Programming
G. Metakides · 1996
Logic and Computer ScienceSteven Homer
Logic and Computer Science
Steven Homer · 1990