Published in: LIPIcs, Volume 185, 12th Innovations in Theoretical Computer Science Conference (ITCS 2021)
Zachary Remscrim. Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines. In 12th Innovations in Theoretical Computer Science Conference (ITCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 185, pp. 39:1-39:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{remscrim:LIPIcs.ITCS.2021.39, author = {Remscrim, Zachary}, title = {{Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines}}, booktitle = {12th Innovations in Theoretical Computer Science Conference (ITCS 2021)}, pages = {39:1--39:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-177-1}, ISSN = {1868-8969}, year = {2021}, volume = {185}, editor = {Lee, James R.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2021.39}, URN = {urn:nbn:de:0030-drops-135781}, doi = {10.4230/LIPIcs.ITCS.2021.39}, annote = {Keywords: Quantum computation, Lower bounds, Finite automata} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Emilio Jesús Gallego Arias and James B. Lipton. Logic Programming in Tabular Allegories. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 334-347, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gallegoarias_et_al:LIPIcs.ICLP.2012.334, author = {Gallego Arias, Emilio Jes\'{u}s and B. Lipton, James}, title = {{Logic Programming in Tabular Allegories}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {334--347}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.334}, URN = {urn:nbn:de:0030-drops-36345}, doi = {10.4230/LIPIcs.ICLP.2012.334}, annote = {Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming} }
Feedback for Dagstuhl Publishing