Deacon Linkhorn | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

research

∙ 02/15/2022

The pseudofinite monadic second order theory of words

We analyse the pseudofinite monadic second order theory of words over a ...

0 Deacon Linkhorn, et al. ∙

research

∙ 05/25/2021

The Pseudofinite Monadic Second Order Theory of Linear Order

Monadic second order logic is the expansion of first order logic by quan...

0 Deacon Linkhorn, et al. ∙