Authors: Cegielski, P Richard, D

Citation: P. Cegielski et D. Richard, Decidability of the theory of the natural integers with the cantor pairingfunction and the successor, THEOR COMP, 257(1-2), 2001, pp. 51-77

Authors: Griffith, DE Brown, BA Cegielski, P Murphy, DT Wallace, RJ

Citation: De. Griffith et al., Early results (at 6 months) with intermittent clarithromycin-including regimens for lung disease due to Mycobacterium avium complex, CLIN INF D, 30(2), 2000, pp. 288-292

Authors: Cegielski, P Grigorieff, S Richard, D

Citation: P. Cegielski et al., The elementary theory of the Cantor pairing function is decidable, CR AC S I, 331(2), 2000, pp. 107-110

Authors: Cegielski, P Richard, D

Citation: P. Cegielski et D. Richard, On arithmetical first-order theories allowing encoding and decoding of lists, THEOR COMP, 222(1-2), 1999, pp. 55-75