Jamie Tucker{-}Foltz

Recent Publications

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