Jana Maríková

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 3

Top Topics

Piecewise Linear

Artificial Intelligence

Constraint Databases

Top Venues

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Clifton F. Ealy, Jana Maríková
Quantifier elimination for o-minimal structures expanded by a valuational cut. Ann. Pure Appl. Log. 174 (2) (2023)
Clifton F. Ealy, Deirdre Haskell, Jana Maríková
Residue Field Domination in Real Closed Valued Fields. Notre Dame J. Formal Log. 60 (3) (2019)
Clifton F. Ealy, Jana Maríková
Model Completeness of O-Minimal Fields with Convex Valuations. J. Symb. Log. 80 (1) (2015)
Jana Maríková
O-minimal residue fields of o-minimal fields. Ann. Pure Appl. Log. 162 (6) (2011)
Jana Maríková
Type-definable and invariant groups in o-minimal structures. J. Symb. Log. 72 (1) (2007)
Jana Maríková
Geometric properties of semilinear and semibounded sets. Math. Log. Q. 52 (2) (2006)