Search dblp for Publications

export results for "toc:db/conf/dagstuhl/P5431.bht:"

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/2005P5431,
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/portals/05431/},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2005P5431.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05,
  author       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {05431 Executive Summary - Deduction and Applications},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/510},
  timestamp    = {Sun, 02 Oct 2022 15:58:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BaaderBNV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05a,
  author       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {05431 Abstracts Collection - Deduction and Applications},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/562},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BaaderBNV05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieslTS05,
  author       = {J{\"{u}}rgen Giesl and
                  Ren{\'{e}} Thiemann and
                  Peter Schneider{-}Kamp},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Proving and Disproving Termination in the Dependency Pair Framework},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/509},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GieslTS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kapur05,
  author       = {Deepak Kapur},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Automatically Generating Loop Invariants Using Quantifier Elimination},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/511},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Kapur05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KuncakRM05,
  author       = {Viktor Kuncak and
                  Martin C. Rinard and
                  Bruno Marnette},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {On Algorithms and Complexity for Sets with Cardinality Constraints},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/512},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KuncakRM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Siekmann05,
  author       = {J{\"{o}}rg H. Siekmann},
  editor       = {Franz Baader and
                  Peter Baumgartner and
                  Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Proof Presentation},
  booktitle    = {Deduction and Applications, 23.-28. October 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05431},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/561},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Siekmann05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics