"Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity	Michał Skrzypczak	1st ed. 2016	Springer Berlin Heidelberg
Set-Theoretic Methods in Control	Franco Blanchini; Stefano Miani	2nd ed. 2015	Springer International Publishing
Set-Theoretic Methods in Control	Franco Blanchini; Stefano Miani	2008	Birkhäuser Boston
Automata, computability and complexity: theory and applications	Elaine Rich	2008	Pearson Prentice Hall
A Descriptive Approach to Language-Theoretic Complexity	James Rogers	1998	CSLI Publications
Topological Methods in Complementarity Theory	G. Isac	2000	Springer US
Topological Methods in Group Theory	Ross Geoghegan	2008	Springer New York
Topological Methods in Group Theory	N. Broaddus; M. Davis; J.-F. Lafont; I. J. Ortiz	2018-09	Cambridge University Press
Topological methods in group theory	Geoghegan R.	2008	Springer
Topological methods in complementarity theory	Isac G.	2000	Springer
Number Theoretic Methods in Cryptography: Complexity lower bounds	Igor Shparlinski	1999	Birkhäuser Basel
Almost Free Modules: Set-theoretic Methods	P.C. Eklof, A.H. Mekler	2002	North Holland
Group Theoretic Methods in Bifurcation Theory	David H. Sattinger	1979	Springer Berlin Heidelberg
Descriptive Set Theory	Yiannis N. Moschovakis	1980	Elsevier
Topological methods for set-valued nonlinear analysis	E. Tarafdar, Mohammad S R Chowdhu	2008	World Scientific
Investigations in the theory of descriptive complexity.	William L. Gewirtz	1974	Courant Institute of Mathematical Sciences, New York University
Classical Descriptive Set Theory	Alexander Kechris	1995	Springer New York
Invariant Descriptive Set Theory	Su Gao	2008	Routledge
Problem Solving in Automata, Languages, and Complexity	Ding-Zhu Du Ph.D.,	2001	John Wiley & Sons
Problem solving in automata, languages, and complexity	Du, Dingzhu.	2001	Wiley
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
Cellular Automata: Descriptional Complexity and Decidability	Martin Kutrib; Andreas Malcher	Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday	Andrew Adamatzky	1st ed. 2018	Springer International Publishing
Complexity Issues in Automata Theoretic Verification	Sandeep K. Shukla	Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Complexity Issues in Automata Theoretic Verificati		Verification of Digital and Hybrid Systems	Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)	2000	Springer-Verlag Berlin Heidelberg
Set-theoretic methods	Chi-Tat Chong	Techniques of Admissible Recursion Theory	C. T. Chong	1984	Springer Berlin Heidelberg
Decidability results in automata and process theory	Yoram Hirshfeld; Faron Moller	Logics for Concurrency: Structure versus Automata	Faron Moller; Graham Birtwistle	1996	Springer Berlin Heidelberg
Descriptive Complexity Theory	Heinz-Dieter Ebbinghaus; Jörg Flum	Finite Model Theory: First Edition	Heinz-Dieter Ebbinghaus; Jörg Flum	1995	Springer Berlin Heidelberg
Descriptive Complexity Theory	Heinz-Dieter Ebbinghaus; Jörg Flum	Finite Model Theory: Second Edition	Heinz-Dieter Ebbinghaus; Jörg Flum	2nd ed 1999. 2nd printing 2005	Springer Berlin Heidelberg
Descriptive Complexity Theory		Quantifiers in time and space: computational complexity of generalized quantifiers in natural language	Jakub Krzysztof Szymanik	2009	Institute for Logic, Language and Computation;Universiteit van Amsterdam [Host]
Descriptive Set Theory		Set Theory: The Third Millennium Edition, revised and expanded	Thomas Jech	3rd rev. ed. 2003. Corr. 2nd printing 2007	Springer Berlin Heidelberg
Descriptive Set Theory	Lev Bukovský	The Structure of the Real Line	Lev Bukovský	2011	Springer Basel
Descriptive Set Theory	Ralf Schindler	Set Theory: Exploring Independence and Truth	Ralf Schindler	2014	Springer International Publishing
Descriptive Set Theory	Thomas Jech	Set Theory	Thomas Jech	2nd ed. 1997	Springer Berlin Heidelberg
Descriptive Set Theory	Tomek Bartoszyński; Haim Judah	Set Theory: On the Structure of the Real Line	Tomek Bartoszyński; Haim Judah	1995	Routledge
Descriptive Set Theory	Arnold W. Miller	Encyclopedia of General Topology	Klaas Pieter Hart; Jun-iti Nagata and Jerry E. Vaughan	2003	Elsevier
Set Theoretic Methods in Control	Hoai-Nam Nguyen	Constrained Control of Uncertain, Time-Varying, Discrete-Time Systems: An Interpolation-Based Approach	Hoai-Nam Nguyen	2014	Springer International Publishing
Decidability and Complexity		Conditional and Preferential Logics: Proof Methods and Theorem Proving	G.L. Pozzato	2010	IOS Press
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies	V. L. Selivanov	Fundamentals of Computation Theory: 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings	Rusins Freivalds	2001	Springer Berlin Heidelberg
Oblivious Two-Way Finite Automata: Decidability and Complexity	Martin Kutrib; Andreas Malcher; Giovanni Pighizzini	LATIN 2012: Theoretical Informatics: 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings	David Fernández-Baca	2012	Springer Berlin Heidelberg
§10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments		Degrees of Unsolvability. (AM-55), Volume 55	Gerald E. Sacks	1964	Princeton University Press
Descriptive Set Theoretic Phenomena in Analysis and Topology	Howard Becker	Set Theory of the Continuum	Haim Judah; Winfried Just; Hugh Woodin	1992	Springer New York
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity" - similar Books and Chapters