Explora I+D+i UPV

Volver atrás Publicación

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems

Compartir
Autores UPV

Año

CONGRESO

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems