Termination induction by means of an abstract resolution with tabulation - Archive ouverte HAL Access content directly
Conference Papers Year : 1992

Termination induction by means of an abstract resolution with tabulation

Ph. Devienne
  • Function : Author
P Lebègue
  • Function : Author
Not file

Dates and versions

hal-03300935 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300935 , version 1

Cite

Christophe Lecoutre, Ph. Devienne, P Lebègue. Termination induction by means of an abstract resolution with tabulation. Actes des Journées GROPLAN et GDR Programmation et outils de l'intelligence artificielle, 1992, Nancy, France. ⟨hal-03300935⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More