Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem.

Peter Schuster Daniel Wessel

Published in: LICS (2020)

Keyphrases

monadic datalog
real time
finite automata
valued logic
databases
information retrieval
image processing
reinforcement learning
special case
digital topology
sequence prediction