Logical methods : in honor of Anil Nerode's Sixtieth birthday
Basel
Birkhauser
c1993
]x[, 813p
Progress in computer science and applied logic; Vol.21
]Selected papers given at the["Conference on Logical Methods in honor of Nerod's 60th birthday,1-3 June 1992,Mathematical Sciences Institute,cornell Univ."
Includes bibliographies
ISBN: 3764336900
John N. Crossley...]et al.[, editors
1
، Logic programming
، Logic, Symbolic and mathematical
، Nerode, Anil, 2391-
QA
76
.
63
.
L63
TI
AU Nerode, Anil, 1932-
AU Crossley, John N.
CO Conference on Logic Methods 1992:Mathematical Sciences Institute,Cornell Univ.