Making monkeys and ducks behave with Crystal Lang
February 20, 2025
In the zoo of programming languages there are two cute yet rather misbehaved animals, typically found in the Dynamic Languages...
[ Read More ]
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
February 18, 2025
This paper investigates ER(r^Z), that is the extension of the existential theory of the reals by an additional unary predicate...
[ Read More ]
