"Temporal Logics in Computer Science: Finite-State Systems"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Temporal Logics in Computer Science: Finite-State Systems	Stéphane Demri; Valentin Goranko; Martin Lange	2016-10	Cambridge University Press
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics	Fabio Mogavero	2013	Atlantis Press
Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis]	Fabio Mogavero	2007	Università di Napoli
Temporal Logic and State Systems	Fred Kröger; Stephan Merz	2008	Springer Berlin Heidelberg
Temporal logics and their applications	Antony Galton	1987	Academic Press
Fuzzy-Systems in Computer Science	Rudolf Kruse; Jörg Gebhardt; Rainer (Eds.) Palm	1994	Vieweg+Teubner Verlag
Logics for Computer Science: Classical and Non-Classical	Anita Wasilewska	1st ed. 2018	Springer International Publishing
Time Map Phonology: Finite State Models and Event Logics in Speech Recognition	Julie Carson-Berndsen	1998	Springer Netherlands
Peripherals for Computer Systems (Computer Science)	A.C. Bradley	December 14, 1990	Palgrave Macmillan;Macmillan Education
Systems Approaches in Computer Science and Mathematics	G. E. Lasker	1981	Pergamon
Database Systems (Macmillan Computer Science)	Paul Beynon-Davies	February 2000	Palgrave Macmillan
Temporal Information Systems in Medicine	Carlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar (auth.)	2010	Springer US
Temporal Information Systems in Medicine	Carlo Combi; Elpida Keravnou-Papailiou; Yuval Shahar	2010	Springer US
Advances in Intelligent Control Systems and Computer Science	Loan Dumitrache	2013	Springer Berlin Heidelberg
Communicating Embedded Systems for Computer Science	Claude Jard	2009	John Wiley & Sons
Computer science applied to business systems	M. J. R. Shave	1982	Addison-Wesley
Bounded Variable Logics and Counting: A Study in Finite Models	Martin Otto	2017-03	Cambridge University Press
Bounded variable logics and counting: a study in finite models /	Otto, Martin,	[1996], ©1996.	Springer,
Decidability of Modal Logics with Particular Emphasis on the Interval Temporal Logics [PhD Thesis]	Jakub Michaliszyn	2012	University of Wroclaw
Pearson custom computer science: Penn State University computer science CMPSC 201	Walter J. Savitch	2013	Pearson Learning Solutions
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Finite-State Temporal Projection	Tim Fernando	Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings	Oscar H. Ibarra; Hsu-Chun Yen	2006	Springer Berlin Heidelberg
Applied Logics for Computer Science	Paul Gochet; Pascal Gribomont	Alternative Logics. Do Sciences Need Them?	Paul A. Weingartner	2004	Springer Berlin Heidelberg
Temporal Logics	Klaus Schneider	Verification of Reactive Systems: Formal Methods and Algorithms	Klaus Schneider	2004	Springer Berlin Heidelberg
Temporal logics		Modalities and Multimodalities	Walter Carnielli; Claudio Pizzi	2008	Springer Netherlands
Temporal Logics	Lech T. Polkowski	Logics for Computer and Data Sciences, and Artificial Intelligence	Lech T. Polkowski	1st ed. 2022	Springer International Publishing
Gentzen-Systems for propositional temporal logics	Barbara Paech	CSL' 88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings	Egon Börger; Hans Kleine Büning; Michael M. Richter	1989	Springer Berlin Heidelberg
Temporal logic and computer science		Temporal Logic: From Ancient Ideas to Artificial Intelligence	Peter Øhrstrøm; Per Hasle	1995	Springer Netherlands
Temporal logic and computer science	Antony Galton	Temporal logics and their applications	Antony Galton	1987	Academic Press
Correction to: Logics for Computer Science	Anita Wasilewska	Logics for Computer Science: Classical and Non-Classical	Anita Wasilewska	1st ed. 2018	Springer International Publishing
State-Empire Systems: The Logics	P. W. Preston	After the Empires: The Dissolution of Foreign Powers and the Creation of New States in East Asia	P. Preston	2014	Palgrave Macmillan UK
Temporal difference learning in finite state spaces		Algorithms for reinforcement learning	Csaba Szepesvári	2010	Morgan & Claypool
Formal Methods: Applying {Logics in, Theoretical} Computer Science		Formal Methods for Industrial Critical Systems: A Survey of Applications	Stefania Gnesi; Tiziana Margaria	2013	Wiley-IEEE Press
Other Temporal Logics	Fred Kröger; Stephan Merz	Temporal Logic and State Systems	Fred Kröger; Stephan Merz	2008	Springer Berlin Heidelberg
Integrating Temporal Logics	Yifeng Chen; Zhiming Liu	Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings	Eerke Boiten; John Derrick; Graeme Smith	2004	Springer Berlin Heidelberg
Propositional Temporal Logics	Thomas Kropf	Introduction to Formal Hardware Verification	Thomas Kropf	1999	Springer Berlin Heidelberg
71 Temporal logics		On the Sea Battle Tomorrow That May Not Happen: A Logical and Philosophical Analysis of the Master Argument	Tomasz Jarmuzek	2019	Peter Lang GmbH, Internationaler Verlag der Wissenschaften
10243 Temporal Logics		Embedded Systems Handbook	Richard Zurawski	2005	CRC Press
33 Temporal Logics		Proceedings of the 6th Asia-Pacific Bioinformatics Conference: Kyoto, Japan, 14-17 January 2008 (Series on Advances in Bioinformatics and Computational Biology)	Alvis Brazma, Satoru Miyano, Tatsuya Akutsu	2008	World Scientific Publishing Company
Timed Temporal Logics	Patricia Bouyer; François Laroussinie; Nicolas Markey; Joël Ouaknine; James Worrell	Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday	Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare	1st ed. 2017	Springer International Publishing
Probabilistic Temporal Logics	Dragan Doder; Aleksandar Perović	Probabilistic Extensions of Various Logical Systems	Zoran Ognjanović	1st ed. 2020	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Temporal Logics in Computer Science: Finite-State Systems" - similar Books and Chapters