Search alternatives:
iter » item, iyer

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... problems -- Complexity and decidability aspects, predictability in iterative maps and new computational...

2
Published 2016
Springer International Publishing
Table of Contents: ... Networks Using Local Fixed-point Iterations -- Decidable Models of Integer-manipulating Programs...

3
Published 2014
Springer International Publishing
Table of Contents: ... Addition Systems with States -- Reachability in MDPs: Refining Convergence of Value Iteration...

4
Published 2018
Springer International Publishing
... and decidability aspects; predictability in iterative maps, and new computational paradigms...

5
Published 2019
Springer International Publishing
... and decidability aspects; predictability in iterative maps; and new computational paradigms...

6
Published 2015
Springer International Publishing
... and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps...

7
Published 2020
Springer International Publishing
... and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps...

8
Published 2022
Springer International Publishing
... in iterative maps; and new computational paradigms...

9
Published 2009
Springer Berlin Heidelberg
... aspects of algebraic structures and predictability in iterative maps and new computational paradigms....

10
Published 2017
Springer International Publishing
... reachability problems; complexity and decidability aspects; predictability in iterative maps, and new...