Published in: LIPIcs, Volume 110, 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018)
Bret Benesh, Jamylle Carter, Deidra A. Coleman, Douglas G. Crabill, Jack H. Good, Michael A. Smith, Jennifer Travis, and Mark Daniel Ward. Periods in Subtraction Games (Keynote Speakers). In 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 110, pp. 8:1-8:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{benesh_et_al:LIPIcs.AofA.2018.8, author = {Benesh, Bret and Carter, Jamylle and Coleman, Deidra A. and Crabill, Douglas G. and Good, Jack H. and Smith, Michael A. and Travis, Jennifer and Ward, Mark Daniel}, title = {{Periods in Subtraction Games}}, booktitle = {29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018)}, pages = {8:1--8:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-078-1}, ISSN = {1868-8969}, year = {2018}, volume = {110}, editor = {Fill, James Allen and Ward, Mark Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.AofA.2018.8}, URN = {urn:nbn:de:0030-drops-89015}, doi = {10.4230/LIPIcs.AofA.2018.8}, annote = {Keywords: combinatorial games, subtraction games, periods, asymptotic structure} }
Published in: Dagstuhl Seminar Proceedings, Volume 9501, Software Synthesis (2010)
Ratislav Bodik, Orna Kupferman, Dougla R. Smith, and Eran Yahav. 09501 Abstracts Collection – Software Synthesis. In Software Synthesis. Dagstuhl Seminar Proceedings, Volume 9501, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bodik_et_al:DagSemProc.09501.1, author = {Bodik, Ratislav and Kupferman, Orna and Smith, Dougla R. and Yahav, Eran}, title = {{09501 Abstracts Collection – Software Synthesis}}, booktitle = {Software Synthesis}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9501}, editor = {Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.1}, URN = {urn:nbn:de:0030-drops-26696}, doi = {10.4230/DagSemProc.09501.1}, annote = {Keywords: Software Synthesis, Verification, Theorem Proving, Program Analysis, Programming by Demonstration} }
Published in: Dagstuhl Seminar Proceedings, Volume 9501, Software Synthesis (2010)
Sven Schewe. Software Synthesis is Hard – and Simple. In Software Synthesis. Dagstuhl Seminar Proceedings, Volume 9501, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{schewe:DagSemProc.09501.2, author = {Schewe, Sven}, title = {{Software Synthesis is Hard – and Simple}}, booktitle = {Software Synthesis}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9501}, editor = {Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.2}, URN = {urn:nbn:de:0030-drops-26702}, doi = {10.4230/DagSemProc.09501.2}, annote = {Keywords: Synthesis, Temporal Logics} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing. Logical Theory for Program Construction (Dagstuhl Seminar 9410). Dagstuhl Seminar Report 84, pp. 1-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)
@TechReport{finance_et_al:DagSemRep.84, author = {Finance, Jean-Pierre and J\"{a}hnichen, Stefan and Loeckx, Jacques and Smith, Douglas and Wirsing, Martin}, title = {{Logical Theory for Program Construction (Dagstuhl Seminar 9410)}}, pages = {1--46}, ISSN = {1619-0203}, year = {1994}, type = {Dagstuhl Seminar Report}, number = {84}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.84}, URN = {urn:nbn:de:0030-drops-149727}, doi = {10.4230/DagSemRep.84}, }
Feedback for Dagstuhl Publishing