Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/dagstuhl/2009P9411,
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/portals/09411/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2009P9411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BallGHN09,
  author       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {09411 Abstracts Collection - Interaction versus Automation: The two
                  Faces of Deduction},
  booktitle    = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2503/},
  timestamp    = {Thu, 10 Jun 2021 13:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BallGHN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BallGHN09a,
  author       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {09411 Executive Summary - Interaction versus Automation: The two Faces
                  of Deductions},
  booktitle    = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2421/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BallGHN09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/FuhsGPS009,
  author       = {Carsten Fuhs and
                  J{\"{u}}rgen Giesl and
                  Martin Pl{\"{u}}cker and
                  Peter Schneider{-}Kamp and
                  Stephan Falke},
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {Termination of Integer Term Rewriting},
  booktitle    = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2423/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/FuhsGPS009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Sofronie-Stokkermans09,
  author       = {Viorica Sofronie{-}Stokkermans},
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {Automated reasoning in extensions of theories of constructors with
                  recursively defined functions and homomorphisms},
  booktitle    = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2424/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Sofronie-Stokkermans09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SwiderskiPGFS09,
  author       = {Stephan Swiderski and
                  Michael Parting and
                  J{\"{u}}rgen Giesl and
                  Carsten Fuhs and
                  Peter Schneider{-}Kamp},
  editor       = {Thomas Ball and
                  J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle and
                  Tobias Nipkow},
  title        = {Inductive Theorem Proving meets Dependency Pairs},
  booktitle    = {Interaction versus Automation: The two Faces of Deduction, 04.10.
                  - 09.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2422/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SwiderskiPGFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}