Riunet Móvil
Home
Versión de escritorio
Informes técnicos de investigación DSIC-ELP: Recent submissions
Página anterior
Mostrando ítems 6-10 de 15
Página siguiente
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
Gutiérrez Gil, Raúl
;
Lucas Alba, Salvador
(
Universitat Politècnica de València
,
2015-05-26
)
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)
Alpuente, María
;
Escobar, Santiago
;
Espert, Javier
;
Meseguer, José
(
Universitat Politècnica de València
,
2014-07-16
)
Abstract Diagnosis for tccp using a Linear Temporal Logic
Comini, Marco
;
Titolo, Laura
;
Villanueva García, Alicia
(
Universitat Politècnica de València
,
2014-02-15
)
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Comini, Marco
;
Titolo, Laura
;
Villanueva García, Alicia
(
Universitat Politècnica de València
,
2013
)
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Comini, Marco
;
Titolo, Laura
;
Villanueva García, Alicia
(
Universitat Politècnica de València
,
2013-04-13
)
Página anterior
Mostrando ítems 6-10 de 15
Página siguiente
Tema móvil para Riunet