Riunet Móvil
Home
Versión de escritorio
Informes técnicos de investigación DSIC-ELP: Recent submissions
Mostrando ítems 1-5 de 15
Página siguiente
A Probabilistic Framework for Non-Cheating Machine Teaching
Ferri Ramírez, César
;
Hernández Orallo, José
;
Telle, Jan Arne
(
2022-05-03
)
Narrowing-based Optimization of Rewrite Theories
Alpuente Frasnedo, María
;
Ballis, Demis
;
Escobar Román, Santiago
;
Sapiña Sanchis, Julia
(
Universitat Politècnica de València
,
2020-06-08
)
Abstract Contract Synthesis and Verification in the Symbolic K Framework
Alpuente Frasnedo, María
;
Pardo Pont, Daniel
;
Villanueva García, Alicia
(
Universitat Politècnica de València
,
2018-04-12
)
Static Correction of Maude Programs with Assertions
Alpuente Frasnedo, María
;
Ballis, D.
;
Sapiña Sanchis, Julia
(
Universitat Politècnica de València
,
2018-04-12
)
I.G
Hernández-Orallo, José
(
Universitat Politècnica de València
,
2018-04-12
)
Mostrando ítems 1-5 de 15
Página siguiente
Tema móvil para Riunet