All Mathematical Logic and Formal Language Titles
Logical Analysis of Hybrid Systems
In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author’s coherent logical approach covers theory, practice, and applications.
Logic, Language, Information, and Computation
Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communica ...