1
Publicat 2015
Taula de continguts: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...
Obtenir text complet
Electrònic eBook