Search results - ORA - Oxford University Research Archive

1 - 7 of 7

1

Conference item

The complexity of Presburger arithmetic with power or powers

Benedikt, M, Chistikov, D, Mansutti, A
2023-07-05

2

Conference item

Geometric decision procedures and the VC dimension of linear arithmetic theories

Chistikov, D, Haase, C, Mansutti, A
2022-08-04

3

Conference item

Higher-order quantified boolean satisfiability

Chistikov, D, Haase, C, Hadizadeh, Z, et al.
2022-08-22

4

Journal article

O-minimal invariants for discrete-time dynamical systems

Almagor, S, Chistikov, D, Ouaknine, J, et al.
2022-01-14

5

Journal article

The big-O problem

Chistikov, D, Kiefer, SM, Murawski, AS, et al.
2022-03-15

6

Conference item

Quantifier elimination for counting extensions of Presburger arithmetic

Chistikov, D, Haase, C, Mansutti, A
2022-03-29

7

Conference item

The Big-O problem for labelled Markov chains and weighted automata

Chistikov, D, Kiefer, S, Murawski, A, et al.
2020-08-26

TO TOP