Hybrid Systems V

by Antsaklis, Panos
Published 1999

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 IV

by Antsaklis, Panos
Published 1997

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

Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Published 2007

Logic for Applications

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

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

Published 2020

Logic for Applications

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

Automata Theory and its Applications

by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001

Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Published 2022

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Published 2016

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

by Pereira, Luís Moniz
Published 1993

Hybrid Systems II

Published 1995

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

Published 1997

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 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

by Antsaklis, Panos
Published 1995