Publications MATHS

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Christian Delhommé et Imed Zaguia — Countable linear orders with disjoint infinite intervals are mutually orthogonal, Discrete Mathematics, 2018.
  2. Dominique Castella et Stéphane Gaubert — Algèbre de groupe en caractéristique 1 et distances invariantes sur un groupe fini, Math. Z., pp. 1-15, 2017.
  3. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid systems of three equivalence relations, J. Mult.-Valued Logic Soft Comput., Vol. 28(4-5), pp. 511–535, 2017.
  4. Christian Delhommé et Maurice Pouzet — Length of an intersection, Mathematical Logic Quarterly, Vol. 63(3-4), pp. 243–255, 2017.
  5. Marianne Morillon — Linear extenders and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, Vol. 58(4), pp. 419–434, 2017.
  6. Marianne Morillon — Three-space type Hahn-Banach properties, Mathematical Logic Quarterly, Vol. 63(5), pp. 320–333, 2017.
  7. Serge Burckel — Inductive kernels of graphs, J. Mult.-Valued Logic Soft Comput., Vol. 27(2-3), pp. 175–181, 2016.
  8. Youssef Boudabbous et Christian Delhommé — $(\le k)$-reconstructible binary relations, European J. Combin., Vol. 37, pp. 43–67, 2014.
  9. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Computation with no memory, and rearrangeable multicast networks, Discrete Math. Theor. Comput. Sci., Vol. 16(1), pp. 121–142, 2014.
  10. Dominique Castella — Algèbres de polynômes tropicaux, Annales Mathématiques Blaise Pascal, Vol. 20(2), pp. 301–330, novembre 2013.
  11. Marion Le Gonidec — On the complexity of a family of $k$-context-free sequences, Theoret. Comput. Sci., Vol. 414, pp. 47–54, janvier 2012.
  12. Youssef Boudabbous et Christian Delhommé — Prechains and self duality, Discrete Math., Vol. 312(10), pp. 1743–1765, 2012.
  13. Marianne Morillon — Helly spaces and Radon measures on complete lines, Order, Vol. 29(3), pp. 419–441, 2012.
  14. Marianne Morillon — Some consequences of Rado's selection lemma, Arch. Math. Logic, Vol. 51(7-8), pp. 739–749, 2012.
  15. Marianne Morillon et Patricia Spinelli — Nash equilibria and values through modular partitions in infinite games, Discrete Math., Vol. 312(6), pp. 1201–1212, 2012.
  16. Émilie Charlier, Marion Le Gonidec et Michel Rigo — Representing real numbers in a generalized numeration system, J. Comput. System Sci., Vol. 77(4), pp. 743–759, juillet 2011.
  17. Julien Cassaigne et Marion Le Gonidec — Propriétés et limites de la reconnaissance d'ensembles d'entiers par automates dénombrables, J. Théor. Nombres Bordeaux, Vol. 22(2), pp. 307–338, 2010.
  18. Dominique Castella — Eléments d'algèbre linéaire tropicale, Linear Algebra and Its Applications, Vol. 432, pp. 1460-1474, 2010.
  19. Adrian R. D. Mathias — Unordered pairs in the set theory of Bourbaki 1949, Archiv der Mathematik, Vol. 94(1), pp. 1–10, 2010.
  20. Marianne Morillon — Notions of compactness for special subsets of $\Bbb R^I$ and some weak forms of the axiom of choice, J. Symbolic Logic, Vol. 75(1), pp. 255–268, 2010.
  21. Marianne Morillon — UG-differentiability entails Hahn-Banach, Quaest. Math., Vol. 33(2), pp. 131–146, 2010.
  22. Joan Bagaria, Carles Casacuberta et Adrian R. D. Mathias — Epireflections and supercompact cardinals, Journal of Pure and Applied Algebra, Vol. 213(7), pp. 1208–1215, 2009.
  23. Christian Delhommé, Maurice Pouzet, Gábor Sági et Norbert Sauer — Representation of ideals of relational structures, Discrete Math., Vol. 309(6), pp. 1374–1384, 2009.
  24. Marianne Morillon — Linear forms and axioms of choice, Comment. Math. Univ. Carolin., Vol. 50(3), pp. 421–431, 2009.
  25. Marion Le Gonidec — On complexity functions of infinite words associated with generalized Dyck languages, Theoret. Comput. Sci., Vol. 407(1-3), pp. 117–133, octobre 2008.
  26. Marc de Crisenoy et Driss Essouabri — Relations between values at T-tuples of negative integers of twisted multivariable zeta series associated to polynomials of several variables, Journal of the Mathematical Society of Japan, Vol. 60(1), pp. 1-16, Mathematical Society of Japan, janvier 2008.
  27. Bruno Courcelle et Christian Delhommé — The modular decomposition of countable graphs. Definition and construction in monadic second-order logic, Theoret. Comput. Sci., Vol. 394(1-2), pp. 1–38, 2008.
  28. Christian Delhommé, Claude Laflamme, Maurice Pouzet et Norbert Sauer — Indivisible ultrametric spaces, Topology Appl., Vol. 155(14), pp. 1462–1478, 2008.
  29. Marion Le Gonidec — Drunken man infinite words complexity, Theor. Inform. Appl., Vol. 42(3), pp. 599–613, 2008.
  30. Marianne Morillon — Countable choice and compactness, Topology Appl., Vol. 155(10), pp. 1077–1088, 2008.
  31. Adrian R. D. Mathias — A note on the schemes of replacement and collection, Archive for Mathematical Logic, Vol. 46(1), pp. 43–50, 2007.
  32. Marion Le Gonidec — Sur la complexité de mots infinis engendrés par des $q$-automates dénombrables, Ann. Inst. Fourier (Grenoble), Vol. 56(7), pp. 2463–2491, 2006.
  33. Adrian R. D. Mathias — Weak systems of Gandy, Jensen and Devlin, Set theory, pp. 149–224, Birkhäuser, Basel, 2006.
  34. Adrian R. D. Mathias — Analytic sets under attack, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 138(3), pp. 465–485, 2005.
  35. Adrian R. D. Mathias — The ignorance of Bourbaki, La Gaceta de la Real Sociedad Matemática Española, Vol. 7(3), pp. 727–748, 2004.
  36. Adrian R. D. Mathias — The strength of Mac Lane set theory, Annals of Pure and Applied Logic, Vol. 110(1-3), pp. 107–234, 2001.
  37. Adrian R. D. Mathias — Slim models of Zermelo set theory, The Journal of Symbolic Logic, Vol. 66(2), pp. 487–496, 2001.
  38. Adrian R. D. Mathias — Delays, recurrence and ordinals, Proceedings of the London Mathematical Society. Third Series, Vol. 82(2), pp. 257–298, 2001.
  39. Adrian R. D. Mathias — Strong statements of analysis, The Bulletin of the London Mathematical Society, Vol. 32(5), pp. 513–526, 2000.

Articles dans des revues sans comité de lecture

  1. Adrian R. D. Mathias — A brief note on doubles tournaments, Eureka, Vol. 60, 2010.

Conférences données à l’invitation du comité d’organisation dans un congrès national ou international

  1. Adrian R. D. Mathias — Set forcing over models of Zermelo or Mac Lane, One hundred years of axiomatic set theory, pp. 41–66, Acad.-Bruylant, Louvain-la-Neuve, 2010.
  2. Adrian R. D. Mathias — A term of length 4 523 659 424 929, Synthese. An International Journal for Epistemology, Methodology and Philosophy of Science, Vol. 133(1-2), pp. 75–86, 2002.

Communications avec actes dans un congrès international

  1. Didier Caucal et Marion Le Gonidec — Context-Free Sequences, Theoretical Aspects of Computing -- ICTAC 2014, pp. 259-276, inproceedings, Springer, Gabriel Ciobanu, Dominique Méry , Bucharest, Romania, 2014.
  2. Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G Rosenberg et Hisayuki Tatsumi — Semirigid Systems of Equivalence Relations., ISMVL, pp. 293-298, IEEE, 2012.
  3. Serge Burckel, Emeric Gioan et Emmanuel Thomé — Mapping computation with no memory, Unconventional computation, pp. 85–97, Springer, Berlin, 2009.
  4. Adrian R. D. Mathias — A scenario for transferring high scores, Acta Universitatis Carolinae. Mathematica et Physica, Vol. 45(2), pp. 67–73, 2004.
  5. Adrian R. D. Mathias — Choosing an attacker by a local derivation, Acta Universitatis Carolinae. Mathematica et Physica, Vol. 45(2), pp. 59–65, 2004.

Communications orales sans actes dans un congrès international ou national

  1. Serge Burckel, Sébastien Hoarau, Frédéric Mesnard et Ulrich Neumerkel — cTI: Bottom-Up Termination Inference for Logic Programs, 15. WLP, pp. 123-134, 2000.
  2. Frédéric Mesnard et Marianne Morillon — Automatic Generation of Valid Linear Measures for CLP(Q) Programs, WSA, pp. 29-34, 1992.

Ouvrages scientifiques

  1. Christian Delhommé — Travaux en théorie des relations., HDR, Université de la Réunion, 2009.

Autres productions

  1. Boris Adamczewski, Julien Cassaigne et Marion Le Gonidec — On the computational complexity of algebraic numbers: The Hartmanis-Stearns problem revisited, janvier 2016.