"Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Higher Recursion Theory	Gerald E. Sacks	2017-03	Cambridge University Press
Higher Recursion Theory	Gerald E. Sacks	1990	Springer
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Higher-Order FDTD Schemes for Waveguides and Antenna Structures	Nikolaos Kantartzis; Theodoros Tsiboukis		Springer International Publishing
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Cellular Automata: A Parallel Model	M. Delorme; J. Mazoyer	1999	Springer Netherlands
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Global weather prediction model difference schemes	William Franklin Mihok	1974	Naval Postgraduate School
Recursion	Tony Ballantyne	August 29, 2006	Spectra
Higher English Close Reading Answers and Marking Schemes	Ann Bridges; Colin Eckford	January 26, 2007	Hodder Gibson
Color schemes for the home and model interiors	Henry W. Frohne	1919	Lippincott
Color schemes for the home and model interiors	Henry W. Frohne	1919	J. B. Lippincott company
Color schemes for the home and model interiors	Henry W. Frohne	1922	J. B. Lippincott company;The Dean-Hicks company
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
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking	Luke Ong	Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings	Adrian-Horia Dediu; Carlos Martín-Vide; Bianca Truthe	2013	Springer Berlin Heidelberg
Model Checking and Higher-Order Recursion	Hardi Hungar	Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS' 99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings	Miroslaw Kutylowski; Leszek Pacholski; Tomasz Wierzbicki	1999	Springer Berlin Heidelberg
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes	Koichi Fujima; Sohei Ito; Naoki Kobayashi	Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings	Chung-chien Shan	2013	Springer International Publishing
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata	Sylvain Salvati; Igor Walukiewicz	Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings	Alain Finkel; Jerome Leroux; Igor Potapov	2012	Springer Berlin Heidelberg
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes	Christopher Broadbent; Luke Ong	Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Luca de Alfaro	2009	Springer Berlin Heidelberg
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes	Naoki Kobayashi	Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings	Martin Hofmann	2011	Springer Berlin Heidelberg
On Model Checking for Visibly Pushdown Automata	Tang Van Nguyen; Hitoshi Ohsaki	Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings	Adrian-Horia Dediu; Carlos Martín-Vide	2012	Springer Berlin Heidelberg
Semantics of Higher-Order Recursion Schemes	Jiří Adámek; Stefan Milius; Jiří Velebil	Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings	Alexander Kurz; Marina Lenisa	2009	Springer Berlin Heidelberg
Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes	C. -H. L. Ong	Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings	Ludek Kucera; Antonín Kucera	2007	Springer Berlin Heidelberg
Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata	Christopher Broadbent	Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II	Artur Czumaj; Kurt Mehlhorn; Andrew Pitts; Roger Wattenhofer	2012	Springer Berlin Heidelberg
Pushdown Automata	Ganesh Lalitha Gopalakrishnan	Automata and Computability: A Programmer\’s Perspective	Ganesh Gopalakrishnan	2019	Routledge
Pushdown Automata	Hendrik Jan Hoogeboom; Joost Engelfriet	Formal Languages and Applications	Carlos Martin-Vide; Victor Mitrana; Gheorghe Păun	2004	Springer Berlin Heidelberg
Pushdown Automata	Dexter C. Kozen	Automata and Computability	Dexter C. Kozen	1997	Springer New York
Pushdown Automata	Akira Maruoka	Concise Guide to Computation Theory	Akira Maruoka	2011	Springer London
Pushdown Automata		Foundations of Computing An Accessible Introduction to Automata and Formal Languages	Charles D. Allison	2021	Leanpub book
Pushdown Automata		Racket Programming the Fun Way: From Strings to Turing Machines	James. W. Stelly	2021	No Starch Press
Pushdown Automata		Introduction to automata theory, languages, and computation	John E. Hopcroft; Jeffrey D. Ullman; Rajeev Motwani	2007	Pearson/Addison-Wesley
Pushdown automata		Automata theory: machines and languages	Richard Y. Kain	©1972	McGraw-Hill
PUSHDOWN AUTOMATA		Formal Languages and Their Relation to Automata	John E. Hopcroft, Jeffrey D. Ullman	1969	Addison-Wesley
Pushdown Automata		Instructor’s manualTheory of computing Solutions	Efim Kinber, Carl Smith	2001	Prentice Hall
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking" - similar Books and Chapters