Explora I+D+i UPV

Volver atrás Publicación

Generalizing Newman's Lemma for Left-Linear Rewrite Systems

Compartir
Año

Revista

Lecture Notes in Computer Science