Recognition of characters subject to spatially independent transformations
The effectivity of existential statements in axiomatic set theory
Dualizable quasi-strokes for M-state automata
On optimal smoothing of continuous time Kalman processes
Automata-based computational complexity
Computational validity of approximate nonlinear minimal-variance filters
Strong representability of partial functions in arithmetic theories
Some small, multitape universal Turing machines
A note on the Axioms of Restriction and Fundierung