Found: 8
Select item for more details and to access through your institution.
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.
- Published in:
- Mathematical Logic Quarterly, 2019, v. 65, n. 2, p. 237, doi. 10.1002/malq.201800068
- By:
- Publication type:
- Article
HOMOLOGY GROUPS OF TYPES IN MODEL THEORY AND THE COMPUTATION OF H<sub>2</sub>(p).
- Published in:
- Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1086, doi. 10.2178/jsl.7804040
- By:
- Publication type:
- Article
Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic.
- Published in:
- Semigroup Forum, 2021, v. 102, n. 2, p. 340, doi. 10.1007/s00233-021-10164-3
- By:
- Publication type:
- Article
Topological properties of definable sets in ordered Abelian groups of burden 2.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 2, p. 147, doi. 10.1002/malq.202200052
- By:
- Publication type:
- Article
Some remarks on inp-minimal and finite burden groups.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 267, doi. 10.1007/s00153-018-0634-3
- By:
- Publication type:
- Article
Bounding quantification in parametric expansions of Presburger arithmetic.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 5/6, p. 577, doi. 10.1007/s00153-017-0593-0
- By:
- Publication type:
- Article
Type-amalgamation properties and polygroupoids in stable theories.
- Published in:
- Journal of Mathematical Logic, 2015, v. 15, n. 1, p. -1, doi. 10.1142/S021906131550004X
- By:
- Publication type:
- Article
A Characterization of Strongly Dependent Ordered Abelian Groups.
- Published in:
- Revista Colombiana de Matemáticas, 2018, v. 52, n. 2, p. 139, doi. 10.15446/recolma.v52n2.77154
- By:
- Publication type:
- Article