Conference Papers
Year : 2003
Mireille Ducassé : Connect in order to contact the contributor
https://hal.inria.fr/hal-00756836
Submitted on : Friday, November 23, 2012-6:38:52 PM
Last modification on : Tuesday, October 19, 2021-11:58:50 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
103
View
0
Download