Some preprints of members of the Logic Team can be retrieved from the
following sites:
http://www.umh.ac.be/math/preprints/
http://www.msri.org/publications/preprints/
http://www.neurocolt.com/archive.html
http://www.ulb.ac.be/di/ssd/cfv/publications.html
Articles (the underlined ones have a free access preprint version available)
BES A., An extension of the Cobham-Semënov theorem, J.Symb.Logic 65 (2000) 1, p. 201-211.
BES A., A survey of arithmetical definability, dans A tribute to Maurice Boffa, Bulletin de la Société Mathématique de Belgique, (2001), p. 1-54.
BES A.., Definability and decidability issues related to the elementary theory of ordinal multiplication, Fund.Math.171 (2002), p. 197-211.
BOFFA M, On Specker's refutation of the Axiom of Choice, Logique et Analyse 43 (2000), n° 171-172.
BOFFA, M., Theorie des ensembles et dualité, dans Aspects de la dualité en mathématique, Cahiers du Centre de Logique, 12 (2003) p. 41-45.
BRIHAYE T., BRUYERE V., RASKIN J.-F., Model-Checking for Weighted Timed Automata, proceedings of the joint conferences FORMATS-FTRTFT 2004, Lect. Notes in Computer Science 3253, pp 277-292, Springer.
BRIHAYE T., MICHAUX C., RIVIERE C., TROESTLER C., On o-minimal hybrid system, proceedings of HSCC 2004, Lect. Notes in Computer Science 2993 (2004), p. 219-233, Springer Verlag .
DUBY G., Théorie o-minimales avec un automorphisme, C.R. Acad. Sc. Paris (série I) 335 (2002) 5, p. 417-420.
DUBY G., Automorphisms with only infinite orbits on non-algebraic elements, Arch. Math.Logic 42 (2003) 5, p. 435--447.
DUBY G., Countable ultrahomogeneous antimatroids of convex dimension 2, Discete mathematics 269 (2003), 1-3, p. 113--125.
JABER K., Groups and identities, Communications in Algebra 30 (2002) 5, p. 2387-2404.
MAES A., More on Morphisms and Almost-Periodicity, Theoretical Computer Science 231 (2000), p. 205-215.
LAVENDHOMME T., MAES A., Note on the undecidability of <N;+,Pm,r>, dans Definabillity in Arithmetics and Computability, Cahiers du Centre de Logique 11 (2000), p. 61-68.
MAES A., Revisiting Semënov's results about decidability of extensions of Presburger Arithmetic, dans Definabillity in Arithmetics and Computability, Cahiers du Centre de Logique 11 (2000), p. 11-59.
MAES A., CERF C., A family of brunnian links based on Edwards' construction of Venn diagrams, Journal of Knot Theory and its Ramifications, 10 (2001) p. 97-107.
MAES A., RIGO M., More on generalized automatic sequences, Journal of Automata, Languages and Combinatorics 7 (2002), 3, p. 351--376.
MICHAUX C., TROESTLER C. , Isomorphism Theorem for BSS Recursively Enumerable Sets over Real Closed Fields, Theoretical Computer Science 231 (2000), p. 253-273.
BEN-DAVID S., MEER K., MICHAUX C., A note on Non-Complete Problems in NPR, The Journal of Complexity 16 (2000), p. 324-332.
MICHAUX C., ÖZTÜRK A., Quantifier Elimination following Muchnik, Proceedings du congrès en l'honneur du soixantième anniversaire de Denis Richard, (2002), 11pages (CDRom)
POINT F., On Extensions of Presburger Arithmetic, dans Definabillity in Arithmetics and Computability, Cahiers du Centre de Logique 11 (2000) p. 85-114.
POINT F., WAGNER F., Essentially periodic ordered groups, Annals of Pure and Applied Logic 105 (2000), p. 261-291.
POINT F., On decidable extensions of Presburger arithmetic: from A.Bertrand numeration systems to Pisot numbers, J. Symb. Logic 65 (2000), p. 1347-1374.
POINT F., On definability of verbal subgroups, Archive for Mathematical Logic 40 (2001) 7, p.355-372.
DELLUNDE P., DELON F., POINT F. , The theory of modules of separably closed fields I, J. Symb. Logic 67 (2002) p. 997-1015.
POINT F., Milnor Property in finetely generated solvable groups, Communications in Algebra 31 (2003) 3, p. 1475-1484.
BRIHAYE T., Words and bisimulations of dynamical systems, to appear in Journal of Automata, Language and Combinatorics.
BRIHAYE T., BRUYERE V., RASKIN J.-F., Model-Checking for Weighted Timed Automata, proceedings of the joint conferences FORMATS-FTRTFT 2004, Lect. Notes in Computer Science 3253, pp 277-292, Springer.
BRIHAYE T., BRUYERE V., RASKIN J.-F., On optimal timed strategies, to appear in the proceedings of FORMATS 2005.
BRIHAYE T., MICHAUX C., On the expressiveness and decidability of o-minimal hybrid systems, 30 pages (2004), to appear in Journal of Complexity.
BRIHAYE T., MICHAUX C., RIVIERE C., TROESTLER C., On o-minimal hybrid system, proceedings of HSCC 2004, Lect. Notes in Computer Science 2993, pp 219-233, Springer Verlag.
LI Q., Which words have an efficient result?, Communications in Algebra, 32 (7), pp. 2527-2545 (2005).
MICHAUX C., RIVIERE C., Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bull. Soc. Math. Belgique, 12 (3), pp. 341-348 (2005).
GUZY N., RIVIERE C., Principle of differential lifting and Pierce-Pillay axiomatization for differential topological fields, Notre-Dame Journal of Formal Logic (2006).
RIVIERE C., The theory of closed ordered differential fields with m commuting derivatives, Cras 343 (3), pp. 151-154 (2006).
RIVIERE C., The model theory of m-ordered differential fields, Math. Logic Quarterly 52 (4), pp. 331-339 (2006).
Michaux C., Editeur invité pour le volume 11 des Cahiers du Centre de Logique (Definability in Arithmetics and Computability), Academia Bruylant, Louvain-La-Neuve (2000), p.1-114.
Finet C., Michaux C., éditeurs invités pour le volume 111, No.1-2, 144 p. (2001) du journal Annals of Pure and Applied Logic (North Holland), Proceedings (papiers de recherche) du Congrès "Analyse et Logique", Mons, 25-29 août 1997.
Crabbé M., Michaux C., Point F., A Tribute to Maurice Boffa (1939-2001), special issue of the Bulletin of the Belgian Mathematical Society. Simon Stevin ,2001, p. i--viii and 1--166..
Finet C., Michaux C., éditeurs d'un volume "Analysis and Logic" : textes présentés à l'occasion de trois mini-cours donnés lors de la conférence "Analyse et Logique", août 1997. Auteurs: C. Ward Henson, A. Kechris, T. Odell, London Mathematical Society Lecture Note Series, 262. Cambridge University Press, Cambridge, 2002 , 267 pages plus xiv pages.
Publications (1990-1999)
Articles
BOFFA M., Une remarque sur les systèmes complets d'identités rationnelles, Informatique théorique et Applications/Theoretical Informatics and Applications 24 (1990), p. 419-423.
BOFFA M., Groupes linéaires fortement connexes, Bulletin de la Société Mathématique de Belgique A42 (1990), p. 467-469 (volume en hommage à J. Tits).
BOFFA M., POINT F., Identités de Thue-Morse dans les groupes, C.R. Acad. Sc. Paris (série I) 312 (1991), p. 667-670.
BOFFA M., POINT F., Identités de Engel généralisées, C.R. Acad. Sc. Paris 313 (1991), p. 909-911.
BOFFA M., POINT F., m-identités, C.R. Acad. Sc. Paris 314 (1992), p. 879-880.
BOFFA M., Identités de Engel et de Thue-Morse, Publications de l'Université de Rouen 176 (1992), p. 17-21.
BOFFA M., Décoration ensembliste de graphes par appoximations, Cahiers du Centre de Logique, 7 (1992), p. 45-50.
BOFFA M., ZFJ and the consistency problem for NF, IPM Proceedings Series (Tehran, Iran), 1 (1993), p. 141-144.
BOFFA M., PÉTRY A., On self-membered sets in Quine's set theory, Logique et Analyse 141/142 (1993), p. 59-60.
BOFFA M., PÉTRY A., Des naturels non standard à l'Analyse non standard, une introduction, Mathématique et Pédagogie 94 (1993), p. 39-54.
BOFFA M., Review of T. E. Forster "Set theory with a universal set: exploring an untyped universe" Modern Logic 4 (1994) p. 94-96.
BOFFA M., Une condition impliquant toutes les identités rationnelles, Informatique théorique et Applications/Theoretical Informatics and Applications 29 (1995), p. 515-518.
BOFFA M., Elimination of inverses in groups, in: Model Theory of Groups and Automorphism Groups (D.M. Evans ed.), London Mathematical Society Lecture Note, 244 (1997) p.134-143.
BOFFA M., Parity Argument in PA, ZF and NF, Actes des 13èmes Journées sur les Arithmétiques Faibles (M. Margenstern ed.), IUT de Metz (1997) p. 11-14
BOFFA M., Review of J. Barwise and L. Moss "Vicious circles. On the mathematics of non-wellfounded phenomena", Journal of Symbolic Logic 62 (1997) p. 1039-1040.
BOFFA, M., More on a undecidability result of Bateman, Jockusch and Woods, Journal of Symbolic Logic 63 (1998), p. 50.
BOFFA, M., Une démonstration du théorème de Pascal obtenue en généralisant le produit sur le cercle, Mathématique et Pédagogie 121 (1999), p. 59-61.
GAKWAYA J.-S., Characterization of the relations in Grzegorczyk's Hierarchy revisited, Mathematical Logic Quaterly, 43 (1997), p. 75-79.
GAKWAYA J.-S., Extended Grzegorczyk's Hierarchy in the BSS model of computability, FoCM'97, F. Cucker, M. Shub Eds., Springer Verlag (1997), p. 127-151.
GAKWAYA J.-S., A survey on the Grzegorczyk Hierarchy and its extension through the BSS model of computability, Actes des 13èmes Journées sur les Arithmétiques Faibles (M. Margenstern ed.), IUT de Metz (1997) p. 71-91.
GAKWAYA J.-S., The Separation Theorem for the Relation Classes Associated to the Extended Grzegorczyk Classes, in Proc. Machines et Calculs Universels II (MCU '98), M. Margenstern Ed., I.U.T de Metz, France (1998) p. 152-167.
MAES A., Morphisms and Almost-Periodicity, Discrete Applied Mathematics 86 (1998), p. 233-248.
MAES A., Decidability of the first-order theory of <N;<,P> for morphic predicates P, Bericht Nr. 9806, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität, Kiel (1998), 35 pages.
MAES A., An automata theoretic decidability proof for the first-order theory of <N;<,P> with morphic predicate P, Journal of Automata, Languages and Combinatorics, 4 (1999), p. 229-245.
MICHAUX C., Ordered rings over which output sets are recursively enumerable sets, Proceedings AMS 112 (1991), p. 569-575 (corrigendum :Ibid. 117 (1993), p. 583).
HANSEL G., KROB D., MICHAUX C., Stochastic automata and length distributions of rational languages, Springer Lecture Notes in Computer Science 520 (1991), p. 181-190.
HANSEL G., KROB D., MICHAUX C., Automates stochastiques, distributions des langages rationnels et la hiérarchie de comptage, Publications de l'Université de Rouen 176 (1992), p. 111-122.
MICHAUX C., VILLEMAIRE R., Cobham's theorem seen through Büchi's theorem, Springer Lecture Notes in Computer Science 700 (1993), p. 325-334.
BRUYÈRE V., HANSEL G., MICHAUX C., VILLEMAIRE R., Logic and p-recognizable sets of integers, Bulletin of the Belgian Mathematical Society-Simon Stevin 1 (1994), p. 191-238.
MICHAUX C., P NP over the non standard reals implies P NP over R, Theoretical Computer Science 133 (1994), p. 95-104.
MICHAUX C., VILLEMAIRE R., Presburger arithmetic and recognizability of sets of natural numbers by automata : New proofs of Cobham's and Semenov's theorem, Annals of Pure and Applied Logic 77 (1996), p. 251-277.
MICHAUX C., VILLEMAIRE R., Open problems on Büchi and Presburger arithmetics, Logic: From Foundations to Applications, European Logic Colloquium, Oxford University Press (1996), p. 353-383.
MEER K., MICHAUX C., Structural complexity theory over the real numbers, Bulletin of the Belgian Mathematical Society - Simon Stevin 4 (1997), p.113-148.
MICHAUX C., TROESTLER C. , Isomorphism Theorem for BSS Recursively Enumerable Sets over Real Closed Fields, in Proc. Machines et Calculs Universels I (MCU '98), M. Margenstern Ed., I.U.T de Metz, France (1998), p. 116-139.
POINT F., Decidability questions for theories of modules, Logic Colloquium 1990, Springer Lecture Notes in Logic 2 (1993), p. 266-280.
POINT F., String algebras decidability results, Proceedings of the 10th Easter Conference in Wendisch-Rietz (1993), p. 141-168.
POINT F., Conditions of quasi-nilpotency in certain varieties of groups, Communications in Algebra 22 (1994), p. 355-370.
POINT F., Groups of polynomial growth and their associated metric spaces, Journal of Algebra 175 (1995), p. 105-121.
POINT F., WANTIEZ P., Nilpotency criteria for multiplicative Lie algebras, Journal of Pure and Applied Algebra, 111 (1996), p. 229-243.
POINT, F., Milnor identities, Communication in Algebra 24 (1996), p. 3725-3744.
POINT F., BRUYÈRE V., On the Cobham-Semenov theorem, Theory Computer Systems, 30 (1997), p. 197-220.
POINT, F., BELEGRADEK O. et WAGNER F., A quasi-o-minimal group without the exchange property, Prepublications series M.S.R.I.,1998-051.
POINT F., Ultraproducts and Chevalley groups, Archive for Mathematical Logic 38 (1999), p.355-372.
WANTIEZ P., Extension d'un théorème d'Endimioni aux algèbres de Lie, C.R. Acad. Sc. Paris (série I) 315 (1992), p. 877-882.
WANTIEZ P., Identités dans les groupes d'exposant quatre, Communications in Algebra 22 (1994), p. 4033-4050.
WANTIEZ P., Quelques résultats sur les m-identités, Communications in Algebra 23 (1995), p. 4375-4392
WANTIEZ P., Limites d'espaces métriques et ultraproduits, Méthodes et analyse non standard, Cahiers du Centre de Logique 9 (1996), Louvain-la-Neuve, Academia Bruylant, p. 141-168.
Boffa M. and Bruyère V., Editors of the " Journées Montoises d'Informatique Théorique 1992", Bull. Belg. Math. Soc., Simon Stevin 1 (1994), p.129-298.
Boffa M. and Bruyère V., Editors of the " Actes des Journées Montoises d'Informatique Théorique 1994", Bull. Belg. Math. Soc., Simon Stevin 4 (1997) p. 1-203.
Boffa M., Marcja A., Mundici D., éditeurs, Joint AILA-KGS Model Theory Meeting (Florence, Italy, 21-24 August 1995), Annals of Pure and Applied Logic 88 (1997), p. 93-280
Boffa M., Petry A., éditeurs, Logique dans l'Enseignement des Mathématiques, Bulletin of the Belgian Mathematical Society 5 (1998), supplément, 78 p.
Boffa M., Bruyère V., éditeurs, Actes des JAF15 (Quinzièmes Journées sur les Arithmétiques Faibles, 11-12 décembre 1997), Université de Mons-Hainaut (1998), 114 p.
Retour à la page de garde / Back to the homepage
This page is maintained by Thomas
Brihaye