Jean-Marie Hullot

According to our database, Jean-Marie Hullot authored at least 6 papers between 1979 and 2007.

Collaborative distances:

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

2007

Ubiquitous Devices, Mobility and Context Awareness.

Jean-Marie Hullot

Proceedings of the Sustainable Internet, Third Asian Internet Engineering Conference, 2007

1984

LE LISP, a Portable and Efficient LISP System.

Jérôme Chailloux, Matthieu Devin, Jean-Marie Hullot

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

A Multi-Formalism Programming Environment.

Jean-Marie Hullot

Proceedings of the Information Processing 83, 1983

1982

Proofs by Induction in Equational Theories with Constructors.

Gérard P. Huet, Jean-Marie Hullot

J. Comput. Syst. Sci., 1982

1980

Canonical Forms and Unification.

Jean-Marie Hullot

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

Associative Commutative Pattern Matching.

Jean-Marie Hullot

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979