Detalles de la búsqueda
1.
A partial evaluation methodology for optimizing rewrite theories incrementally.
MethodsX
; 9: 101802, 2022.
Artículo
en Inglés
| MEDLINE | ID: mdl-36034524
2.
Imposing assertions in Maude via program transformation.
MethodsX
; 6: 2577-2583, 2019.
Artículo
en Inglés
| MEDLINE | ID: mdl-31763189
Resultados
1 -
2
de 2
1
Próxima >
>>