Conference Papers
Year : 2003
Mireille Ducassé : Connect in order to contact the contributor
https://inria.hal.science/hal-00756836
Submitted on : Friday, November 23, 2012-6:38:52 PM
Last modification on : Friday, March 24, 2023-2:52:56 PM
Dates and versions
Identifiers
- HAL Id : hal-00756836 , version 1
Cite
Ludovic Langevine, Mireille Ducassé. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. International Conference on Logic Programming, 2003, Mumbay, India. ⟨hal-00756836⟩
Collections
108
View
0
Download