Search alternatives:
going infinite » solving infinite, doing indefinite, proving infinite
using infinite » using finite, solving infinite

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... of Several Models -- Universality, Reducibility, and Completeness -- Using Approximation to Relate...

2
Published 2022
Springer International Publishing
Table of Contents: ... Functions from the Integers to the Reals using Discrete Ordinary Differential Equations -- Languages...

3
Published 2018
Springer International Publishing
Table of Contents: ... in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real...