Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/2006P6451,
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/portals/06451/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2006P6451.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/DurandLM06,
  author       = {Arnaud Durand and
                  Clemens Lautemann and
                  Malika More},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {Counting Results in Weak Formalisms},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/976},
  timestamp    = {Thu, 10 Jun 2021 13:02:03 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DurandLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Hesse06,
  author       = {William Hesse},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {Some Algebraic Problems with Connections to Circuit Complexity of
                  Dynamic Data Structures},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/974},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Hesse06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SchoningT06,
  author       = {Uwe Sch{\"{o}}ning and
                  Jacobo Tor{\'{a}}n},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {A note on the size of Craig Interpolants},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/973},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SchoningT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SchwentickTV06,
  author       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {06451 Executive Summary -- Circuits, Logic, and Games},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/977},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SchwentickTV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SchwentickTV06a,
  author       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {06451 Abstracts Collection -- Circuits, Logic, and Games},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/978},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SchwentickTV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/WeisI06,
  author       = {Philipp Weis and
                  Neil Immerman},
  editor       = {Thomas Schwentick and
                  Denis Th{\'{e}}rien and
                  Heribert Vollmer},
  title        = {Structure Theorem and Strict Alternation Hierarchy for FO\({}^{\mbox{2}}\)
                  on Words},
  booktitle    = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06451},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/975},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/WeisI06.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.