Marianne Haberstrau

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Marianne Haberstrau
ECOLOG: an Environment for COnstraint LOGics. CCL (1994)
Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud
Syntacticness, Cycle-Syntacticness, and Shallow Theories Inf. Comput. 111 (1) (1994)
Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud
Decidable Problems in Shallow Equational Theories (Extended Abstract) LICS (1992)
Marianne Haberstrau
ECOLOG: un Environnement pour la programmation en LOgique COntrainte. JFPL (1992)