Pierre Deransart | Researchain

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Pierre Deransart is active.

Explore More

Publication

Featured researches published by Pierre Deransart.

ISLP | 1991

NSTO Programs (Not Subject to Occur-Check)

Pierre Deransart; Gérard Ferrand; Michel Téguia

SLP | 1987

An Operational Formal Definition of PROLOG.

Pierre Deransart; Gérard Ferrand

Archive | 1997

CP debugging needs and tools

Abderrahmane Aggoun; Francisco Bueno Carrillo; Manuel Carro Liñares; Pierre Deransart; Massimo Fabris; Wlodek Drabent; Gerard Ferrand; Manuel V. Hermenegildo; Claude Lai; J. Lloyd; Jan Maluszynski; Alvaro Germán Puebla Sánchez; Alexandre Tessier

Archive | 1989

A methodological view of logic programming with negation

Pierre Deransart; Gérard Ferrand

Analysis and Visualization Tools for Constraint Programming | 2000

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)

Pierre Deransart; Manuel V. Hermenegildo; Jan Maluszynski

Archive | 1997

CP debugging tools: Clarification of functionalities and selection of the tools

Abderrahmane Aggoun; Frédéric Benhamou; Francisco Bueno Carrillo; Manuel Carro Liñares; Pierre Deransart; Wlodek Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Claude Lai; J. Lloyd; Jan Maluszynski; Alvaro Germán Puebla Sánchez; Alexandre Tessier

Archive | 1987