Search results

From Termination-Portal.org
Jump to navigationJump to search

  • Bibtex:DLMMU08
    X. Urbain},
    754 bytes (92 words) - 15:42, 16 June 2009
  • Bibtex:GLU08
    author = {R. Gutiérrez, S. Lucas and X. Urbain},
    692 bytes (87 words) - 15:04, 16 June 2009
  • Tools:Cime
    ...rs=Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain.
    636 bytes (100 words) - 12:46, 9 April 2010
  • Tools:A3PAT
    ...=Y. Bertot, P. Castéran, É. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain
    671 bytes (105 words) - 08:28, 21 May 2009
  • Bibtex:DLMMU04
    X. Urbain},
    830 bytes (104 words) - 15:35, 16 June 2009
  • Bibtex:Contejean07
    ...ontejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
    844 bytes (103 words) - 08:22, 21 May 2009
  • WScT08-Registration
    * Xavier Urbain
    2 KB (273 words) - 13:33, 2 June 2008
Retrieved from "http://termination-portal.org/wiki/Special:Search"