Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Published 1994

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Published 1992

Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

Published 1997

Hybrid Systems IV

Published 1997

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990

Hybrid Systems II

Published 1995

Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Published 1995

Hybrid Systems

Published 1993

Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Published 1997

Automata Theory and its Applications

by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001

Logic for Applications

by Nerode, Anil, Shore, Richard A.
Published 1997

Logic for Applications

by Nerode, Anil, Shore, Richard A.
Published 1993