Levels of undecidability in rewriting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema. Levels of undecidability in rewriting. Inf. Comput., 209(2):227-245, 2011. [doi]

This author has not been identified. Look up 'Jörg Endrullis' in GoogleThis author has not been identified. Look up 'Herman Geuvers' in GoogleThis author has not been identified. Look up 'Jakob Grue Simonsen' in GoogleThis author has not been identified. It may be one of the following persons:

Hans Zantema

Look up 'Hans Zantema' in Google

runs on WebDSL