The following pages link to Verification: Theory and Practice (Q5305664):
Displayed 4 items.
- Quantization causes waves: smooth finitely computable functions are affine (Q895585) (← links)
- Automata finiteness criterion in terms of van der Put series of automata functions (Q1760320) (← links)
- The non-Archimedean theory of discrete systems (Q1949084) (← links)
- The p-adic Theory of Automata Functions (Q5044585) (← links)