E-LIB Suche - Ergebnisse für: Haase, Christoph

1

Reachability in Fixed VASS: Expressiveness and Lower Bounds:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Draghici, Andrei ; Haase, Christoph ; Ryzhikov, Andrew - p. 185-205 , 2024

Link: https://doi.org/10.1007/..

2

Quantifier elimination for counting extensions of Presburge..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Chistikov, Dmitry ; Haase, Christoph ; Mansutti, Alessio - p. 225-243 , 2022

Link: https://doi.org/10.1007/..

3

Geometric decision procedures and the VC dimension of linea..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Chistikov, Dmitry ; Haase, Christoph ; Mansutti, Alessio - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

4

Preface:

Bojańczyk, Mikołaj ; Brihaye, Thomas ; Haase, Christoph...
Information and Computation. 277 (2021) - p. 104579 , 2021

Link: https://doi.org/10.1016/..

5

On the Expressiveness of Büchi Arithmetic:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Haase, Christoph ; Różycki, Jakub - p. 310-323 , 2021

Link: https://doi.org/10.1007/..

6

Affine Extensions of Integer Vector Addition Systems with S..:

Blondin, Michael ; Haase, Christoph ; Mazowiecki, Filip.
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

7

The Reachability Problem for Two-Dimensional Vector Additio..:

Blondin, Michael ; Englert, Matthias ; Finkel, Alain...
Journal of the ACM (JACM). 68 (2021) 5 - p. 1-43 , 2021

Link: https://dl.acm.org/doi/1..

8

The Reachability Problem for Two-Dimensional Vector Additio..:

Blondin, Michael ; Englert, Matthias ; Finkel, Alain...
Journal of the ACM. 68 (2021) 5 - p. 1-43 , 2021

Link: https://doi.org/10.1145/..

9

Directed Reachability for Infinite-State Systems:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Blondin, Michael ; Haase, Christoph ; Offtermatt, Philip - p. 3-23 , 2021

Link: https://doi.org/10.1007/..

10

Voices of creativity and reason in English language teachin:

Haase, Christoph , 2021

Link: https://search.ebscohost..

11

Approaching Arithmetic Theories with Finite-State Automata:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,

Haase, Christoph - p. 33-43 , 2020

Link: https://doi.org/10.1007/..

12

On the existential theories of Büchi arithmetic and linear ..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Guépin, Florent ; Haase, Christoph ; Worrell, James - p. 1-10 , 2019

Link: https://dl.acm.org/doi/1..

13

English language teaching through the lens of experience:

Haase, Christoph ; Orlova, Natalia , 2019

Link: https://search.ebscohost..

14

Presburger arithmetic with stars, rational subsets of graph..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Haase, Christoph ; Zetzsche, Georg - p. 1-14 , 2019

Link: https://dl.acm.org/doi/1..

15

The foundations and versatility of English language teachin..:

Haase, Christoph ; Orlova, Natalia ; Head, Joel Cameron , 2018

Link: https://search.ebscohost..