Marianne Haberstrau

According to our database, Marianne Haberstrau authored at least 4 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Syntacticness, Cycle-Syntacticness, and Shallow Theories

Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud

Inf. Comput., May, 1994

ECOLOG: an Environment for COnstraint LOGics.

Marianne Haberstrau

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1992

Decidable Problems in Shallow Equational Theories (Extended Abstract)

Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

ECOLOG: un Environnement pour la programmation en LOgique COntrainte.

Marianne Haberstrau

Proceedings of the JFPL'92, 1992