2 citations · 4 across the 5 of their papers we have counts for
1 paper · 2 filters
Jihoon Hyun, Holger Thies, Martin Ziegler
Turing completeness of a programming language or system characterizes its expressive power; and the strong Church-Turing hypo-/thesis refines such from qualitative to polynomial-ti…