11 citations · 37 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2006
Real Computational Universality: The Word Problem for a class of groups with infinite presentation
Martin Ziegler, Klaus Meer
The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halti…
cs.LO2006
An Explicit Solution to Post's Problem over the Reals
Klaus Meer, Martin Ziegler
In the BCSS model of real number computations we prove a concrete and explicit semi-decidable language to be undecidable yet not reducible from (and thus strictly easier than) the…