Riunet Móvil
Home
Versión de escritorio
Informes técnicos de investigación DSIC-ELP: Recent submissions
Página anterior
Mostrando ítems 11-15 de 15
A Dependency Pair Framework for AvC-Termination
Alarcón Jiménez, Beatriz
;
Gutiérrez Gil, Raúl
;
Lucas, Salvador
;
Meseguer, José
(
Universitat Politècnica de València
,
2011-05-04
)
Innermost Termination of Context-Sensitive Rewriting
Alarcón Jiménez, Beatriz
;
Lucas, Salvador
(
Universitat Politècnica de València
,
2011-05-04
)
Backward Trace Slicing for Rewriting Logic Theories -Technical report -
Alpuente Frasnedo, María
;
Ballis, Demis
;
Espert, Javier
;
Romero, Daniel
(
Universitat Politècnica de València
,
2011-04-19
)
Backward Trace Slicing for Rewriting Logic Theories -Technical report -
Alpuente Frasnedo, María
;
Ballis, D.
;
Espert, J.
;
Romero, D.
(
Universitat Politècnica de València
,
2011-04-19
)
On Unfolding Completeness for Rewriting Logic Theories
Alpuente Frasnedo, María
;
Baggi, Michele
;
Ballis, Demis
;
Falaschi, Moreno
(
Universitat Politècnica de València
,
2010-10-04
)
Página anterior
Mostrando ítems 11-15 de 15
Tema móvil para Riunet