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 = {Sustainable Internet, Third Asian Internet Engineering Conference,
               {AINTEC} 2007, Phuket, Thailand, November 27-29, 2007, Proceedings},
  pages     = {123--124},
  year      = {2007},
  crossref  = {DBLP:conf/aintec/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},
  year      = {1984},
  crossref  = {DBLP:conf/lfp/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},
  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},
  year      = {1983},
  crossref  = {DBLP:conf/ifip/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},
  title     = {Canonical Forms and Unification},
  booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
               1980, Proceedings},
  pages     = {318--334},
  year      = {1980},
  crossref  = {DBLP:conf/cade/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},
  year      = {1980},
  crossref  = {DBLP:conf/focs/FOCS21},
  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},
  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},
  year      = {1979},
  crossref  = {DBLP:conf/ijcai/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}
}

@proceedings{DBLP:conf/aintec/2007,
  editor    = {Serge Fdida and
               Kazunori Sugiura},
  title     = {Sustainable Internet, Third Asian Internet Engineering Conference,
               {AINTEC} 2007, Phuket, Thailand, November 27-29, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4866},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76809-8},
  doi       = {10.1007/978-3-540-76809-8},
  isbn      = {978-3-540-76808-1},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/aintec/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lfp/1984,
  title     = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
               Programming, {LFP} 1984, August 5-8, 1984, Austin, Texas, {USA}},
  publisher = {{ACM}},
  year      = {1984},
  url       = {https://dl.acm.org/citation.cfm?id=800055},
  isbn      = {0-89791-142-3},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/lfp/1984.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifip/1983,
  editor    = {R. E. A. Mason},
  title     = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
               Congress, Paris, France, September 19-23, 1983},
  publisher = {North-Holland/IFIP},
  year      = {1983},
  isbn      = {0-444-86729-5},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/ifip/1983.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/1980,
  editor    = {Wolfgang Bibel and
               Robert A. Kowalski},
  title     = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
               1980, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {87},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-10009-1},
  doi       = {10.1007/3-540-10009-1},
  isbn      = {3-540-10009-1},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/1980.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/focs/FOCS21,
  title     = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
               New York, USA, 13-15 October 1980},
  publisher = {{IEEE} Computer Society},
  year      = {1980},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4567793/proceeding},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/focs/FOCS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ijcai/1979,
  editor    = {Bruce G. Buchanan},
  title     = {Proceedings of the Sixth International Joint Conference on Artificial
               Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
  publisher = {William Kaufmann},
  year      = {1979},
  url       = {http://ijcai.org/proceedings/1979-1},
  isbn      = {0-934613-47-8},
  timestamp = {Tue, 26 Jan 2021 13:23:15 +0100},
  biburl    = {https://dblp.org/rec/conf/ijcai/1979.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.