Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Published 2020

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Published 2018

Hybrid Systems II

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

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

by Adian, Sergei
Published 1997

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

by Dix, Jürgen
Published 1997

Hybrid Systems V

by Antsaklis, Panos
Published 1999

Hybrid Systems IV

by Antsaklis, Panos
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

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

Published 1995

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

by Marek, V.
Published 1995

Hybrid Systems II

by Antsaklis, Panos
Published 1995

Hybrid Systems

by Grossman, Robert
Published 1993

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

by Matiyasevich, Yu
Published 1994

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Published 2013

Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Published 2009

Logic for Applications

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

Automata Theory and its Applications

by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001

Logic for Applications

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