BibTeX records: Jean-Marie Hullot

download as .bib file

@inproceedings{DBLP:conf/aintec/Hullot07,
  author    = {Jean{-}Marie Hullot},
  title     = {Ubiquitous Devices, Mobility and Context Awareness},
  booktitle = {{AINTEC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4866},
  pages     = {123--124},
  publisher = {Springer},
  year      = {2007}
}
@proceedings{DBLP:conf/ecoop/1987,
  editor    = {Jean B{\'{e}}zivin and
               Jean{-}Marie Hullot and
               Pierre Cointe and
               Henry Lieberman},
  title     = {ECOOP'87 European Conference on Object-Oriented Programming, Paris,
               France, June 15-17, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {276},
  publisher = {Springer},
  year      = {1987}
}
@inproceedings{DBLP:conf/lfp/ChaillouxDH84,
  author    = {J{\'{e}}r{\^{o}}me Chailloux and
               Matthieu Devin and
               Jean{-}Marie Hullot},
  title     = {{LE} LISP, a Portable and Efficient {LISP} System},
  booktitle = {{LISP} and Functional Programming},
  pages     = {113--122},
  publisher = {{ACM}},
  year      = {1984}
}
@inproceedings{DBLP:conf/ifip/Hullot83,
  author    = {Jean{-}Marie Hullot},
  title     = {A Multi-Formalism Programming Environment},
  booktitle = {{IFIP} Congress},
  pages     = {223--227},
  publisher = {North-Holland/IFIP},
  year      = {1983}
}
@article{DBLP:journals/jcss/HuetH82,
  author    = {G{\'{e}}rard P. Huet and
               Jean{-}Marie Hullot},
  title     = {Proofs by Induction in Equational Theories with Constructors},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {25},
  number    = {2},
  pages     = {239--266},
  year      = {1982}
}
@inproceedings{DBLP:conf/cade/Hullot80,
  author    = {Jean{-}Marie Hullot},
  title     = {Canonical Forms and Unification},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {87},
  pages     = {318--334},
  publisher = {Springer},
  year      = {1980}
}
@inproceedings{DBLP:conf/focs/HuetH80,
  author    = {G{\'{e}}rard P. Huet and
               Jean{-}Marie Hullot},
  title     = {Proofs by Induction in Equational Theories with Constructors},
  booktitle = {{FOCS}},
  pages     = {96--107},
  publisher = {{IEEE} Computer Society},
  year      = {1980}
}
@inproceedings{DBLP:conf/ijcai/Hullot79,
  author    = {Jean{-}Marie Hullot},
  title     = {Associative Commutative Pattern Matching},
  booktitle = {{IJCAI}},
  pages     = {406--412},
  publisher = {William Kaufmann},
  year      = {1979}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics