Limits of Computation More Books Like This
Reversible Computation
2020
Machines, Computations, and Universality
2018
Logic-Based Program Synthesis and Transformation
2020
Language and Automata Theory and Applications
2018
Beyond the Horizon of Computability
2020
Unveiling Dynamics and Complexity
2017
Language and Automata Theory and Applications
2017
Automatic Program Development
2008
Logic-Based Program Synthesis and Transformation
2017
Mathematical Foundations of Computer Science 2015
2015
Theory and Applications of Models of Computation
2019
Computer Aided Verification
2017
Language and Automata Theory and Applications
2016
Reachability Problems
2017
Logic Programming and Nonmonotonic Reasoning
2017