Jamie Tucker{-}Foltz

Recent Publications

Pseudorandom Finite Models
Jan Niclas Dreier, Jamie Tucker{-}Foltz
LICS, pages 1–13, 2023.
PDF bib DOI