A Compact Fixpoint Semantics for Term Rewriting Systems

Autores UPV	MARCO COMINI, M. Falaschi, Iborra López José, Escobar Román Santiago, Alpuente Frasnedo María
Año	2010
Revista	Theoretical Computer Science

Más información

Rellena este formulario y nos pondremos en contacto contigo.

Nombre (campo obligatorio):

Correo electrónico (campo obligatorio):

Teléfono (opcional):

Formule su consulta (campo obligatorio):

** Le informamos que los datos de carácter personal que Vd. ha facilitado serán incorporados al fichero de Oferta Tecnológica de la Universidad Politécnica de Valencia destinado a dar respuesta a su consulta. Podrá ejercitar los derechos de acceso, rectificación, cancelación y oposición en relación con sus datos ante la Universidad Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia.