Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 49265 results
Sort by: relevance publication year

One-Reversal Counter Machines and Multihead Automata: Revisited

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Ehsan Chiniforooshan | Mark Daley | Oscar H. Ibarra | Lila Kari | Shinnosuke Seki

https://doi.org/10.1007/978-3-642-18381-2_14 Actions

One-reversal counter machines and multihead automata: Revisited

JOURNAL ARTICLE published October 2012 in Theoretical Computer Science

Authors: Ehsan Chiniforooshan | Mark Daley | Oscar H. Ibarra | Lila Kari | Shinnosuke Seki

https://doi.org/10.1016/j.tcs.2012.04.002 Actions

Integrity and Consistency for Untrusted Services

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Christian Cachin

https://doi.org/10.1007/978-3-642-18381-2_1 Actions

SOFSEM 2011: Theory and Practice of Computer Science

BOOK published 2011 in Lecture Notes in Computer Science

Editors: Ivana Černá | Tibor Gyimóthy | Juraj Hromkovič | Keith Jefferey | Rastislav Králović | Marko Vukolić | Stefan Wolf

https://doi.org/10.1007/978-3-642-18381-2 Actions

Structural Properties of Hard Metric TSP Inputs

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tobias Mömke

https://doi.org/10.1007/978-3-642-18381-2_33 Actions

On Approximating the d-Girth of a Graph

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: David Peleg | Ignasi Sau | Mordechai Shalom

https://doi.org/10.1007/978-3-642-18381-2_39 Actions

Quantum Finite One-Counter Automata

BOOK CHAPTER published 1999 in SOFSEM’99: Theory and Practice of Informatics

Authors: Maksim Kravtsev

https://doi.org/10.1007/3-540-47849-3_31 Actions

Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable

BOOK CHAPTER published 2018 in SOFSEM 2018: Theory and Practice of Computer Science

Authors: Joonatan Jalonen | Jarkko Kari

https://doi.org/10.1007/978-3-319-73117-9_16 Actions

Iterated Hairpin Completions of Non-crossing Words

BOOK CHAPTER published 2012 in SOFSEM 2012: Theory and Practice of Computer Science

Authors: Lila Kari | Steffen Kopecki | Shinnosuke Seki

https://doi.org/10.1007/978-3-642-27660-6_28 Actions

Efficient Algorithms for Handling Nondeterministic Automata

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tomáš Vojnar

https://doi.org/10.1007/978-3-642-18381-2_5 Actions

On Stateless Multihead Finite Automata and Multihead Pushdown Automata

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Pierluigi Frisco | Oscar H. Ibarra

https://doi.org/10.1007/978-3-642-02737-6_19 Actions

Combinatorics of Block-Parallel Automata Networks

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Kévin Perrot | Sylvain Sené | Léah Tapin

https://doi.org/10.1007/978-3-031-52113-3_31 Actions

Automata Classes Accepting Languages Whose Commutative Closure is Regular

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Stefan Hoffmann

https://doi.org/10.1007/978-3-031-52113-3_22 Actions

An Automata-Theoretical Characterization of Context-Free Trace Languages

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Benedek Nagy | Friedrich Otto

https://doi.org/10.1007/978-3-642-18381-2_34 Actions

Counting Infinitely by Oritatami Co-transcriptional Folding

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Kohei Maruyama | Shinnosuke Seki

https://doi.org/10.1007/978-3-030-38919-2_46 Actions

Quantum versus Probabilistic One-Way Finite Automata with Counter

BOOK CHAPTER published 2001 in SOFSEM 2001: Theory and Practice of Informatics

Authors: Richard Bonner | Rūsiņš Freivalds | Maksim Kravtsev

https://doi.org/10.1007/3-540-45627-9_15 Actions

On Synchronized Multitape and Multihead Automata

BOOK CHAPTER published 2011 in Descriptional Complexity of Formal Systems

Authors: Oscar H. Ibarra | Nicholas Q. Tran

https://doi.org/10.1007/978-3-642-22600-7_15 Actions

Concatenation Operations and Restricted Variants of Two-Dimensional Automata

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Taylor J. Smith | Kai Salomaa

https://doi.org/10.1007/978-3-030-67731-2_11 Actions

A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Friedrich Otto

https://doi.org/10.1007/978-3-030-38919-2_4 Actions

On the Size of Logical Automata

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Martin Raszyk

https://doi.org/10.1007/978-3-030-10801-4_35 Actions
Feedback: support@crossref.org