Logique monadique du second ordre (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Logique monadique du second ordre" in French language version.

refsWebsite

Global rank French rank

12doi.org

2^nd place

3^rd place

5springer.com

274^th place

223^rd place

5sciencedirect.com

149^th place

80^th place

4issn.org

57^th place

4^th place

4acm.org

1,185^th place

1,318^th place

2projecteuclid.org

3,707^th place

2,664^th place

1rice.edu

3,843^rd place

9,251^st place

1wiley.com

222^nd place

129^th place

1jstor.org

26^th place

110^th place

1scirp.org

low place

6,746^th place

1ox.ac.uk

613^th place

961^st place

1psu.edu

207^th place

929^th place

1elsevier.com

610^th place

265^th place

1ieee.org

652^nd place

741^st place

acm.org

dl.acm.org

Professor Bruno Courcelle et Dr Joost Engelfriet, Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach, Cambridge University Press, 1^er janvier 2012, 728 p. (ISBN 978-0-521-89833-1 et 0-521-89833-1, lire en ligne).
Robert McNaughton et Seymour A. Papert, Counter-Free Automata (M.I.T. Research Monograph No. 65), The MIT Press, 1^er janvier 1971, 163 p. (ISBN 0-262-13076-9, lire en ligne).
Wolfgang Thomas, « Automata on infinite objects », dans Handbook of theoretical computer science (volume B), MIT Press, 1991, 133–191 p. (ISBN 0444880747, lire en ligne)

doi.acm.org

Facundo Carreiro, Alessandro Facchini, Yde Venema et Fabio Zanasi, « Weak MSO: Automata and Expressiveness Modulo Bisimilarity », Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM, cSL-LICS '14,‎ 1^er janvier 2014, p. 27:1–27:27 (ISBN 9781450328869, DOI 10.1145/2603088.2603101, lire en ligne, consulté le 20 septembre 2016).

doi.org

dx.doi.org

(en) Bruno Courcelle, Automata, Languages and Programming, Springer Berlin Heidelberg, coll. « Lecture Notes in Computer Science », 7 juillet 2008 (ISBN 978-3-540-70574-1 et 9783540705758, DOI 10.1007/978-3-540-70575-8_1#page-1, lire en ligne), p. 1–13.
A. Dawar et L. Hella, « The Expressive Power of Finitely Many Generalized Quantifiers », Information and Computation, vol. 123,‎ 1^er décembre 1995, p. 172–184 (DOI 10.1006/inco.1995.1166, lire en ligne, consulté le 20 septembre 2016).
Michael Elberfeld, Martin Grohe et Till Tantau, « Where First-Order and Monadic Second-Order Logic Coincide », Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, IEEE Computer Society, lICS '12,‎ 1^er janvier 2012, p. 265–274 (ISBN 9780769547695, DOI 10.1109/LICS.2012.37, lire en ligne, consulté le 20 septembre 2016).
M. P. Schützenberger, « On finite monoids having only trivial subgroups », Information and Control, vol. 8,‎ 1^er avril 1965, p. 190–194 (DOI 10.1016/S0019-9958(65)90108-7, lire en ligne, consulté le 20 septembre 2016).
(en) J. Richard Büchi, « Weak Second-Order Arithmetic and Finite Automata », Mathematical Logic Quarterly, vol. 6,‎ 1^er janvier 1960, p. 66–92 (ISSN 1521-3870, DOI 10.1002/malq.19600060105, lire en ligne, consulté le 20 septembre 2016).
(en) Michael O. Rabin, « Weakly Definable Relations and Special Automata », Mathematical Logic and Fondations of Set Theory, North-Holland, vol. 59,‎ 1^er janvier 1970, p. 1–23 (ISSN 0049-237X, DOI 10.1016/S0049-237X(08)71929-3, lire en ligne, consulté le 12 février 2018)
(en) Mark Weyer, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3-540-36387-4, DOI 10.1007/3-540-36387-4_12, lire en ligne), p. 207–230, Theorem 12.25
(en) Frank Nießner, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3-540-36387-4, DOI 10.1007/3-540-36387-4_8, lire en ligne), p. 135–152, Theorem 8.6
Yuri Gurevich, « Expanded theory of ordered Abelian groups », Annals of Mathematical Logic, vol. 12,‎ 1^er décembre 1977, p. 193–228 (DOI 10.1016/0003-4843(77)90014-6, lire en ligne, consulté le 20 septembre 2016).
Facundo Carreiro, Alessandro Facchini, Yde Venema et Fabio Zanasi, « Weak MSO: Automata and Expressiveness Modulo Bisimilarity », Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM, cSL-LICS '14,‎ 1^er janvier 2014, p. 27:1–27:27 (ISBN 9781450328869, DOI 10.1145/2603088.2603101, lire en ligne, consulté le 20 septembre 2016).
A. Facchini, Y. Venema et F. Zanasi, « A Characterization Theorem for the Alternation-Free Fragment of the Modal #x00B5;-Calculus », 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS),‎ 1^er juin 2013, p. 478–487 (DOI 10.1109/LICS.2013.54, lire en ligne, consulté le 20 septembre 2016).
C. Riba, « A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words », FIP International Federation for Information Processing, Springer Berlin Heidelberg,‎ 1^er juin 2013, p. 310-324 (DOI 10.1007/978-3-642-33475-7_22, lire en ligne, consulté le 21 septembre 2016).

elsevier.com

store.elsevier.com

« Rudiments of Calculus, 1st Edition | A. Arnold, D. Niwinski », sur store.elsevier.com (consulté le 20 septembre 2016).

ieee.org

ieeexplore.ieee.org

A. Facchini, Y. Venema et F. Zanasi, « A Characterization Theorem for the Alternation-Free Fragment of the Modal #x00B5;-Calculus », 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS),‎ 1^er juin 2013, p. 478–487 (DOI 10.1109/LICS.2013.54, lire en ligne, consulté le 20 septembre 2016).

issn.org

portal.issn.org

(en) Calvin C. Elgot et Michael O. Rabin, « Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor », Journal of Symbolic Logic, vol. 31,‎ 1^er juin 1966, p. 169–181 (ISSN 0022-4812 et 1943-5886, lire en ligne, consulté le 20 septembre 2016).
(en) J. Richard Büchi, « Weak Second-Order Arithmetic and Finite Automata », Mathematical Logic Quarterly, vol. 6,‎ 1^er janvier 1960, p. 66–92 (ISSN 1521-3870, DOI 10.1002/malq.19600060105, lire en ligne, consulté le 20 septembre 2016).
(en) Michael O. Rabin, « Weakly Definable Relations and Special Automata », Mathematical Logic and Fondations of Set Theory, North-Holland, vol. 59,‎ 1^er janvier 1970, p. 1–23 (ISSN 0049-237X, DOI 10.1016/S0049-237X(08)71929-3, lire en ligne, consulté le 12 février 2018)
(en) O. Matz, « One quantifier will do in existential monadic second-order logic over pictures », Mathematical Foundations of Computer Science 1998,‎ august 24–28, 1998, p. 751-759 (ISSN 0302-9743, lire en ligne).

jstor.org

« Decision Problems of Finite Automata Design and Related Arithmetics on JSTOR », sur www.jstor.org (consulté le 20 septembre 2016).

ox.ac.uk

cs.ox.ac.uk

(en) « Luke Ong - Automata, Logic and Games: Theory and Application 1. Büchi Automata and S1S ».

projecteuclid.org

(en) Y. Gurevich, « Monadic Second-Order Theories », dans J. Barwise, S. Feferman, Model-Theoretic Logics, New York, Springer-Verlag, 1985, 479-506 p. (lire en ligne).
(en) Calvin C. Elgot et Michael O. Rabin, « Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor », Journal of Symbolic Logic, vol. 31,‎ 1^er juin 1966, p. 169–181 (ISSN 0022-4812 et 1943-5886, lire en ligne, consulté le 20 septembre 2016).

psu.edu

citeseerx.ist.psu.edu

(en) David Janin et Igor Walukiewicz « On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic » (1996) (lire en ligne, consulté le 23 juillet 2017)
—CONCUR '96: Concurrency Theory
— « (ibid.) », dans Lecture Notes in Computer Science, vol. 1119, Springer.

rice.edu

cs.rice.edu

(en) « Cours sur le théorème de compacité de M. Vardi » [PDF].

sciencedirect.com

A. Dawar et L. Hella, « The Expressive Power of Finitely Many Generalized Quantifiers », Information and Computation, vol. 123,‎ 1^er décembre 1995, p. 172–184 (DOI 10.1006/inco.1995.1166, lire en ligne, consulté le 20 septembre 2016).
M. P. Schützenberger, « On finite monoids having only trivial subgroups », Information and Control, vol. 8,‎ 1^er avril 1965, p. 190–194 (DOI 10.1016/S0019-9958(65)90108-7, lire en ligne, consulté le 20 septembre 2016).
(en) Michael O. Rabin, « Weakly Definable Relations and Special Automata », Mathematical Logic and Fondations of Set Theory, North-Holland, vol. 59,‎ 1^er janvier 1970, p. 1–23 (ISSN 0049-237X, DOI 10.1016/S0049-237X(08)71929-3, lire en ligne, consulté le 12 février 2018)
Yuri Gurevich, « Expanded theory of ordered Abelian groups », Annals of Mathematical Logic, vol. 12,‎ 1^er décembre 1977, p. 193–228 (DOI 10.1016/0003-4843(77)90014-6, lire en ligne, consulté le 20 septembre 2016).
(en) M. Otto, « A note on the number of monadic quantifiers in monadic ∑^1_1 », Information Processing Letters,‎ 24 mars 1995, p. 337-339 (lire en ligne).

scirp.org

« Büchi, J. R. (1962). On a decision method in restricted second order arithmetic. In E. Nagel, P. Suppes, & A. Tarski (Eds.), Logic, methodology and philosophy of science (pp. 1-11). Stanford Stanford University Press. - References - Scientific Research Publishing », sur www.scirp.org (consulté le 12 février 2018)

springer.com

link.springer.com

(en) Bruno Courcelle, Automata, Languages and Programming, Springer Berlin Heidelberg, coll. « Lecture Notes in Computer Science », 7 juillet 2008 (ISBN 978-3-540-70574-1 et 9783540705758, DOI 10.1007/978-3-540-70575-8_1#page-1, lire en ligne), p. 1–13.
(en) Mark Weyer, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3-540-36387-4, DOI 10.1007/3-540-36387-4_12, lire en ligne), p. 207–230, Theorem 12.25
(en) Frank Nießner, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3-540-36387-4, DOI 10.1007/3-540-36387-4_8, lire en ligne), p. 135–152, Theorem 8.6
C. Riba, « A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words », FIP International Federation for Information Processing, Springer Berlin Heidelberg,‎ 1^er juin 2013, p. 310-324 (DOI 10.1007/978-3-642-33475-7_22, lire en ligne, consulté le 21 septembre 2016).
(en) O. Matz, « One quantifier will do in existential monadic second-order logic over pictures », Mathematical Foundations of Computer Science 1998,‎ august 24–28, 1998, p. 751-759 (ISSN 0302-9743, lire en ligne).

wiley.com

onlinelibrary.wiley.com

(en) J. Richard Büchi, « Weak Second-Order Arithmetic and Finite Automata », Mathematical Logic Quarterly, vol. 6,‎ 1^er janvier 1960, p. 66–92 (ISSN 1521-3870, DOI 10.1002/malq.19600060105, lire en ligne, consulté le 20 septembre 2016).