Anil Nerode
7 books • 9 series
APIC Studies in Data Processing S.
C.I.M.E. Foundation Subseries
Book #1429: Logic and Computer Science
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge
Book #81: Combinatorial Functors
Lecture Notes in Computer Science
Book #813: Logical Foundations of Computer Science
Monographs in Computer Science
Progress in Computer Science and Applied Logic
Book #21: Automata Theory and its Applications