Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Author: personID (integer) : 1011786
Page :
sorted by
Image document

On the Grammatical Complexity of Finite Languages

 Markus Holzer , Simon Wolfsteiner
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.151-162, ⟨10.1007/978-3-319-94631-3_13⟩
Conference papers hal-01905630v1
Image document

Input-Driven Stack Automata

 Suna Bensch , Markus Holzer , Martin Kutrib , Andreas Malcher
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.28-42, ⟨10.1007/978-3-642-33475-7_3⟩
Conference papers hal-01556210v1
Image document

One-Time Nondeterministic Computations

 Markus Holzer , Martin Kutrib
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.177-188, ⟨10.1007/978-3-319-60252-3_14⟩
Conference papers hal-01657018v1
Image document

Properties of Right One-Way Jumping Finite Automata

 Simon Beier , Markus Holzer
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.11-23, ⟨10.1007/978-3-319-94631-3_2⟩
Conference papers hal-01905638v1
Image document

Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract)

 Simon Beier , Markus Holzer
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.74-85, ⟨10.1007/978-3-030-23247-4_5⟩
Conference papers hal-02387300v1
Page :