A Parametric Version Of Lll And Some Consequences: Parametric Shortest And Closest Vector Problems | 0 | 0.34 | 2020 |
Some remarks on inp-minimal and finite burden groups | 0 | 0.34 | 2019 |
Parametric Presburger arithmetic: complexity of counting and quantifier elimination | 0 | 0.34 | 2018 |
Bounding quantification in parametric expansions of Presburger arithmetic. | 0 | 0.34 | 2018 |
Homology groups of types in stable theories and the Hurewicz correspondence | 3 | 0.71 | 2017 |
Type-amalgamation properties and polygroupoids in stable theories | 2 | 0.78 | 2015 |
Homology groups of types in model theory and the computation of H2(p). | 0 | 0.34 | 2013 |
Dp-Minimality: Basic Facts and Examples. | 12 | 2.01 | 2011 |
Groupoids, covers, and 3-uniqueness in stable theories | 2 | 0.77 | 2010 |
A monotonicity theorem for dp-minimal densely ordered groups | 7 | 1.60 | 2010 |