Skip to content

Existential Definability of Unary Predicates in Bchi Arithmetic.

Mikhail R. Starchak

VenueCCiE
Year2024
ProceedingsCiE

Browse the full CiE paper archive.