next up previous contents index Next: Mathematical background Up: Finding bounds on the Previous: Implementation

  • La page de J-P. Merlet
  • J-P. Merlet home page
  • La page Présentation de COPRIN
  • COPRIN home page
  • La page "Présentation" de l'INRIA
  • INRIA home page


    Joyal bounds

    Subsections
    Jean-Pierre Merlet