Comparing the succinctness of monadic query languages over finite trees
RAIRO-Theor. Inf. Appl., 38 4 (2004) 343-373
Published online: 2004-10-15
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Formula size games for modal logic and μ-calculus
Lauri T Hella and Miikka S VilanderJournal of Logic and Computation 29 (8) 1311 (2019)
https://doi.org/10.1093/logcom/exz025
On the succinctness of some modal logics
Tim French, Wiebe van der Hoek, Petar Iliev and Barteld KooiArtificial Intelligence 197 56 (2013)
https://doi.org/10.1016/j.artint.2013.02.003
Logic for Programming, Artificial Intelligence, and Reasoning
David Aspinall, Ewen Denney and Christoph LüthLecture Notes in Computer Science, Logic for Programming, Artificial Intelligence, and Reasoning 8312 53 (2013)
https://doi.org/10.1007/978-3-642-45221-5_4
Automata, Languages and Programming
Anuj Dawar, Martin Grohe, Stephan Kreutzer and Nicole SchweikardtLecture Notes in Computer Science, Automata, Languages and Programming 4596 913 (2007)
https://doi.org/10.1007/978-3-540-73420-8_78
On the expressive power of monadic least fixed point logic
Nicole SchweikardtTheoretical Computer Science 350 (2-3) 325 (2006)
https://doi.org/10.1016/j.tcs.2005.10.025
The succinctness of first-order logic on linear orders
Martin Grohe and Nicole SchweikardtLogical Methods in Computer Science Volume 1, Issue 1 (2005)
https://doi.org/10.2168/LMCS-1(1:6)2005
Mathematical Foundations of Computer Science 2005
Martin Grohe, Stephan Kreutzer and Nicole SchweikardtLecture Notes in Computer Science, Mathematical Foundations of Computer Science 2005 3618 422 (2005)
https://doi.org/10.1007/11549345_37