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

1
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... Complexity of Boolean Operations -- Handling Infinitely Branching WSTS -- Transducers with Origin Information...