2026-05-28T03:33:55Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/94212026-02-03T12:33:07Zcom_10630_2254col_10630_37959

http://hdl.handle.net/10630/9421/ore.xml 2015-03-11T13:31:11Z 2015-03-11T13:31:11Z RIUMA. Repositorio Institucional de la Universidad de Málaga Generic proof scores for the generate & check method in CafeOBJ Futatsugi, Kokichi 2015-03-11T13:31:11Z ORIGINAL LICENSE TEXT