Search results for: Frank Stephan
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 325-349
Theoretical Computer Science > 2018 > 742 > C > 66-81
Information and Computation > 2017 > 255 > P1 > 45-67
Theory of Computing Systems > 2017 > 61 > 4 > 1254-1287
Annals of Pure and Applied Logic > 2017 > 168 > 4 > 804-823
Information and Computation > 2016 > 251 > C > 194-207
Annals of Pure and Applied Logic > 2016 > 167 > 12 > 1242-1266
Theoretical Computer Science > 2016 > 626 > C > 83-96
Lecture Notes in Computer Science > Algorithmic Learning Theory > Refutable Inductive Inference > 299-314