christiankissig's automata_theory [34 articles] Export

Recent papers added to christiankissig's library classified by the tag automata_theory. You can also see everyone's automata_theory.

Hide details

	Homomorphism closed vs. existential positive [My Copy] Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on In Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on (2003), pp. 311-320. by T. Feder, M. Y. Vardi posted to automata_theory by christiankissig on 2009-05-20 13:03:59 as
	Minimal realization in bicategories of automata [My Copy] Mathematical. Structures in Comp. Sci., Vol. 8, No. 2. (1998), pp. 93-116. by Robert Rosebrugh, N. Sabadini, R. F. C. Walters posted to automata_theory bicategories monoidal_categories by christiankissig on 2009-05-15 19:13:43 as
	Simulating alternating tree automata by nondeterministic automata: new results and new proofs of the theorems of Rabin, McNaughton and Safra [My Copy] Theor. Comput. Sci., Vol. 141, No. 1-2. (1995), pp. 69-107. by David E. Muller, Paul E. Schupp posted to automata_theory by christiankissig on 2009-01-26 15:54:03 as along with 1 person sgwyj
	Coalgebraic Automata Theory: Basic Results [My Copy] (12 Nov 2008) by C. Kupke, Y. Venema posted to automata_theory coalgebra coalgebraic_logic by christiankissig on 2009-01-12 14:48:47 as along with 1 person jleny
	Decidability of Second Order Theories and Automata on Infinite Trees [My Copy] Transactions of the American Mathematical Society, Vol. 141 (1969), pp. 1-35. by Michael O. Rabin posted to automata_theory by christiankissig on 2009-01-12 14:42:00 as
	The Book of Traces [My Copy] (1995) by Volker Diekert edited by Grzegorz Rozenberg posted to automata_theory by christiankissig on 2009-01-10 12:36:45 as
	Logical Questions Concerning the $μ$-Calculus: Interpolation, Lyndon and Los-Tarski [My Copy] (1997) by Giovanna D'Agostino posted to automata_theory modal_logic by christiankissig on 2008-10-28 21:23:30 as
	Denotational Semantics of Hybrid Automata [My Copy] In Proc. FoSSaCS 2006, Vol. 3921 (2006), pp. 231-245. by A. Edalat, D. Pattinson edited by L. Aceto, A. Ingofsdottir posted to automata_theory by christiankissig on 2008-09-11 13:36:58 as
	Denotational Semantics of Hybrid Automata [My Copy] Journal of Logic and Algebraic Programming, Vol. 73 (2007), pp. 3-21. by A. Edalat, D. Pattinson posted to automata_theory by christiankissig on 2008-09-11 13:35:39 as
	Decidability of S1S and S2S [My Copy] In Automata, Logics, and Infinite Games: A Guide to Current Research, No. 2500. (2002), pp. 207-230. by Mark Weyer edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke posted to automata_theory logic by christiankissig on 2008-07-01 16:58:50 as
	From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata [My Copy] lics, Vol. 0 (2006), pp. 255-264. by Nir Piterman posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	Automata and Logic [My Copy] (2002) by Igor Walukiewicz posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Monadic Second Order Logic on Tree-Like Structures [My Copy] In Symposium on Theoretical Aspects of Computer Science (1996), pp. 401-413. by Igor Walukiewicz posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Automata and Fixed Point Logics for Coalgebras [My Copy] Electronic Notes in Computer Science, Vol. 106 (2004), pp. 355-375. by Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	On the Complexity of $\ω$-Automata [My Copy] In Proceedings of the 29th Annual Symposium on Foundations of Computer Science FoCS '88 (1988), pp. 319-327. by Shmuel Safra posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	The Complexity of Translating Logic to Finite Automata [My Copy] In Automata, Logics and Infinite Games: A Guide to Current Research (2002), pp. 231-238. by Klaus Reinhardt posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Decidability of Second-Order Theories and Automata on Infinite Trees [My Copy] In Transactions of the American Mathematical Society, Vol. 141 (1969), pp. 1-35. by Michael O. Rabin posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Finite Automata and their Decision Problems [My Copy] (1959) by Michael O. Rabin, Dana Scott posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Coalgebraic Automata Theory: Basic Results [My Copy] (2007) by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Finitary Coalgebraic Logic [My Copy] (2006) by Clemens Kupke posted to automata_theory category_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Closure Properties of Coalgebra Automata [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 199-208. by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Non-deterministic tree automata [My Copy] In Automata, Logics and Infinite Games: A Guide to Current Research (2002), pp. 135-152. by Frank Niessner posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	Simulating Alternating Tree Automata by Non-Deterministic Automata: New Results and New Proofs of the Theorems of Rabin, Mc Naughton, and Safra [My Copy] In Theoretical Computer Science 141 (1995), pp. 69-107. by David E. Muller, Paul E. Schupp posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	Testing and Generating Infinite Sequences by Finite Automata [My Copy] In Inform. Contr. 9 (1966), pp. 521-530. by Robert Mcnaughton posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	Trees, Automata, and Games [My Copy] In STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing (1982), pp. 60-65. by Yuri Gurevich, Leo Harrington posted to automata_theory by christiankissig on 2008-07-01 16:58:49 as
	Automata, Logics, and Infinite Games: A Guide to Current Research [My Copy] (2002) edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke posted to automata_theory game_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Tree automata, $\μ$-Calculus and Determinacy [My Copy] In Proceedings of the 32nd annual symposium on Foundations of computer science (1991), pp. 368-377. by Allen E. Emerson, Charanijt S. Jutla posted to automata_theory game_theory by christiankissig on 2008-07-01 16:58:48 as
	Decision Problems of Finite Automata Design and Related Arithmetics [My Copy] In Transactions of the American Mathematical Society, Vol. 98, No. 1 (1961), pp. 21-51. by Calvin C. Elgot posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Model Checking [My Copy] (1999) edited by Edmund M. Clark, Orna Grumberg, Doron A. Peled posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Using Determinacy to Eliminate Quantifiers [My Copy] In Lecture Notes in Computer Science Vol. 56 (1977), pp. 367-378. by Julius R. Büchi posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	On a Decision Method in Restricted Second-Order Arithmetic [My Copy] In International Congress on Logic, Methodology, and Philosophy of Science (1962), pp. 1-11. by Julius R. Buechi posted to automata_theory by christiankissig on 2008-07-01 16:58:48 as
	Weak Monadic Second-Order Arithmetic and Finite Automata [My Copy] (1959) by Julius R. Buechi posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Logic for Trace Languages [My Copy] In CONCUR '92 (1992), pp. 504-517. by Alexander M. Rabinovich posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Satisfiability of S2S [My Copy] No. 2007-15. (August 2007) by Christian Kissig posted to automata_theory coalgebra modal_logic by christiankissig on 2008-07-01 16:48:57 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/tag/automata_theory

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's automata_theory [34 articles] Export

christiankissig's tags