The definability of E in self-iterable mice.

Farmer Schlutzenberg

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

fixed point
propositional logic
finite model theory
computer vision
image segmentation
database systems
prior knowledge
special case
domain knowledge
dynamic programming