BibTeX records: Jean-Marie Hullot

download as .bib file

@inproceedings{DBLP:conf/aintec/Hullot07,
  author    = {Jean{-}Marie Hullot},
  editor    = {Serge Fdida and
               Kazunori Sugiura},
  title     = {Ubiquitous Devices, Mobility and Context Awareness},
  booktitle = {Sustainable Internet, Third Asian Internet Engineering Conference,
               {AINTEC} 2007, Phuket, Thailand, November 27-29, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4866},
  pages     = {123--124},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76809-8\_11},
  doi       = {10.1007/978-3-540-76809-8\_11},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/aintec/Hullot07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/3-540-47891-4},
  doi       = {10.1007/3-540-47891-4},
  isbn      = {3-540-18353-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoop/1987.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
               Programming, {LFP} 1984, August 5-8, 1984, Austin, Texas, {USA}},
  pages     = {113--122},
  publisher = {{ACM}},
  year      = {1984},
  timestamp = {Sat, 03 Aug 2019 15:23:08 +0200},
  biburl    = {https://dblp.org/rec/conf/lfp/ChaillouxDH84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hullot83,
  author    = {Jean{-}Marie Hullot},
  editor    = {R. E. A. Mason},
  title     = {A Multi-Formalism Programming Environment},
  booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
               Congress, Paris, France, September 19-23, 1983},
  pages     = {223--227},
  publisher = {North-Holland/IFIP},
  year      = {1983},
  timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/Hullot83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/0022-0000(82)90006-X},
  doi       = {10.1016/0022-0000(82)90006-X},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcss/HuetH82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hullot80,
  author    = {Jean{-}Marie Hullot},
  editor    = {Wolfgang Bibel and
               Robert A. Kowalski},
  title     = {Canonical Forms and Unification},
  booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
               1980, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {87},
  pages     = {318--334},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-10009-1\_25},
  doi       = {10.1007/3-540-10009-1\_25},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Hullot80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
               New York, USA, 13-15 October 1980},
  pages     = {96--107},
  publisher = {{IEEE} Computer Society},
  year      = {1980},
  url       = {https://doi.org/10.1109/SFCS.1980.37},
  doi       = {10.1109/SFCS.1980.37},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/focs/HuetH80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hullot79,
  author    = {Jean{-}Marie Hullot},
  editor    = {Bruce G. Buchanan},
  title     = {Associative Commutative Pattern Matching},
  booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
               Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
  pages     = {406--412},
  publisher = {William Kaufmann},
  year      = {1979},
  timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/Hullot79.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics