Jean-Marie Hullot

	2007
7		Jean-Marie Hullot: Ubiquitous Devices, Mobility and Context Awareness. AINTEC 2007: 123-124
	1987
6		Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings Springer 1987
	1984
5		Jérôme Chailloux, Matthieu Devin, Jean-Marie Hullot: LE LISP, a Portable and Efficient LISP System. LISP and Functional Programming 1984: 113-122
	1983
4		Jean-Marie Hullot: A Multi-Formalism Programming Environment. IFIP Congress 1983: 223-227
	1982
3		Gérard P. Huet, Jean-Marie Hullot: Proofs by Induction in Equational Theories with Constructors. J. Comput. Syst. Sci. 25(2): 239-266 (1982)
	1980
2		Jean-Marie Hullot: Canonical Forms and Unification. CADE 1980: 318-334
1		Gérard P. Huet, Jean-Marie Hullot: Proofs by Induction in Equational Theories with Constructors FOCS 1980: 96-107

Coauthor Index

1	Jean Bézivin	[6]
2	Jérôme Chailloux	[5]
3	Pierre Cointe	[6]
4	Matthieu Devin	[5]
5	Gérard P. Huet	[1] [3]
6	Henry Lieberman	[6]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page