Published in: LIPIcs, Volume 80, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
Nicolas Bacquey, Etienne Grandjean, and Frédéric Olive. Definability by Horn Formulas and Linear Time on Cellular Automata. In 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 80, pp. 99:1-99:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{bacquey_et_al:LIPIcs.ICALP.2017.99, author = {Bacquey, Nicolas and Grandjean, Etienne and Olive, Fr\'{e}d\'{e}ric}, title = {{Definability by Horn Formulas and Linear Time on Cellular Automata}}, booktitle = {44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)}, pages = {99:1--99:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-041-5}, ISSN = {1868-8969}, year = {2017}, volume = {80}, editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.99}, URN = {urn:nbn:de:0030-drops-74174}, doi = {10.4230/LIPIcs.ICALP.2017.99}, annote = {Keywords: picture languages, linear time, cellular automata of any dimension, local induction, descriptive complexity, second-order logic, horn formulas, logic} }
Published in: OASIcs, Volume 26, German Conference on Bioinformatics 2012
Nina Kottenhagen, Lydia Gramzow, Fabian Horn, Martin Pohl, and Günter Theißen. Polyglutamine and Polyalanine Tracts Are Enriched in Transcription Factors of Plants. In German Conference on Bioinformatics 2012. Open Access Series in Informatics (OASIcs), Volume 26, pp. 93-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{kottenhagen_et_al:OASIcs.GCB.2012.93, author = {Kottenhagen, Nina and Gramzow, Lydia and Horn, Fabian and Pohl, Martin and Thei{\ss}en, G\"{u}nter}, title = {{Polyglutamine and Polyalanine Tracts Are Enriched in Transcription Factors of Plants}}, booktitle = {German Conference on Bioinformatics 2012}, pages = {93--107}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-44-6}, ISSN = {2190-6807}, year = {2012}, volume = {26}, editor = {B\"{o}cker, Sebastian and Hufsky, Franziska and Scheubert, Kerstin and Schleicher, Jana and Schuster, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2012.93}, URN = {urn:nbn:de:0030-drops-37217}, doi = {10.4230/OASIcs.GCB.2012.93}, annote = {Keywords: tandem repeats, molecular evolution, GO annotation} }
Feedback for Dagstuhl Publishing