Login / Signup

Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems.

Yoshiharu KojimaMasahiko SakaiNaoki NishidaKeiichirou KusakariToshiki Sakabe
Published in: Inf. Media Technol. (2011)
Keyphrases