BibTeX records: Marianne Baudinet

download as .bib file

@article{DBLP:journals/jcss/BaudinetCW99,
  author       = {Marianne Baudinet and
                  Jan Chomicki and
                  Pierre Wolper},
  title        = {Constraint-Generating Dependencies},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {59},
  number       = {1},
  pages        = {94--115},
  year         = {1999},
  url          = {https://doi.org/10.1006/jcss.1999.1632},
  doi          = {10.1006/JCSS.1999.1632},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BaudinetCW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Baudinet95,
  author       = {Marianne Baudinet},
  title        = {On the Expressiveness of Temporal Logic Programming},
  journal      = {Inf. Comput.},
  volume       = {117},
  number       = {2},
  pages        = {157--180},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1036},
  doi          = {10.1006/INCO.1995.1036},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Baudinet95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdt/BaudinetCW95,
  author       = {Marianne Baudinet and
                  Jan Chomicki and
                  Pierre Wolper},
  editor       = {Georg Gottlob and
                  Moshe Y. Vardi},
  title        = {Constraint-Generating Dependencies},
  booktitle    = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
                  Republic, January 11-13, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {893},
  pages        = {322--337},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-58907-4\_25},
  doi          = {10.1007/3-540-58907-4\_25},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BaudinetCW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppcp/BaudinetCW94,
  author       = {Marianne Baudinet and
                  Jan Chomicki and
                  Pierre Wolper},
  editor       = {Alan Borning},
  title        = {Constraint-Generating Dependencies},
  booktitle    = {Principles and Practice of Constraint Programming, Second International
                  Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
                  1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {874},
  pages        = {205--217},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58601-6\_102},
  doi          = {10.1007/3-540-58601-6\_102},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppcp/BaudinetCW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/bc/tanselCGSS93/BaudinetCW93,
  author       = {Marianne Baudinet and
                  Jan Chomicki and
                  Pierre Wolper},
  editor       = {Abdullah Uz Tansel and
                  James Clifford and
                  Shashi K. Gadia and
                  Arie Segev and
                  Richard T. Snodgrass},
  title        = {Temporal Deductive Databases},
  booktitle    = {Temporal Databases: Theory, Design, and Implementation},
  pages        = {294--320},
  publisher    = {Benjamin/Cummings},
  year         = {1993},
  timestamp    = {Wed, 07 Aug 2019 16:42:16 +0200},
  biburl       = {https://dblp.org/rec/books/bc/tanselCGSS93/BaudinetCW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Baudinet92,
  author       = {Marianne Baudinet},
  title        = {Proving Termination Properties of Prolog Programs: {A} Semantic Approach},
  journal      = {J. Log. Program.},
  volume       = {14},
  number       = {1{\&}2},
  pages        = {1--29},
  year         = {1992},
  url          = {https://doi.org/10.1016/0743-1066(92)90045-5},
  doi          = {10.1016/0743-1066(92)90045-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Baudinet92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pods/BaudinetNW91,
  author       = {Marianne Baudinet and
                  Marc Ni{\'{e}}zette and
                  Pierre Wolper},
  editor       = {Daniel J. Rosenkrantz},
  title        = {On the Representation of Infinite Temporal Data and Queries},
  booktitle    = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
                  Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
                  {USA}},
  pages        = {280--290},
  publisher    = {{ACM} Press},
  year         = {1991},
  url          = {https://doi.org/10.1145/113413.113439},
  doi          = {10.1145/113413.113439},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/BaudinetNW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Baudinet89,
  author       = {Marianne Baudinet},
  title        = {Logic programming semantics: techniques and applications},
  school       = {Stanford University, {USA}},
  year         = {1989},
  url          = {https://searchworks.stanford.edu/view/1341228},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Baudinet89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Baudinet89,
  author       = {Marianne Baudinet},
  title        = {Temporal Logic Programming is Complete and Expressive},
  booktitle    = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
                  of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
  pages        = {267--280},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/75277.75301},
  doi          = {10.1145/75277.75301},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Baudinet89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Baudinet88,
  author       = {Marianne Baudinet},
  title        = {Proving Termination Properties of Prolog Programs: {A} Semantic Approach},
  booktitle    = {Proceedings of the Third Annual Symposium on Logic in Computer Science
                  {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  pages        = {336--347},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/LICS.1988.5131},
  doi          = {10.1109/LICS.1988.5131},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Baudinet88.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.