Travelled to:1 × Austria
1 × Spain
Collaborated with:J.Heras V.Pascual E.Domínguez M.A.Zapata
Talks about:simplici (1) conceptu (1) approach (1) correct (1) system (1) prove (1) model (1) kenzo (1) meta (1) set (1)
Person: Julio Rubio
DBLP: Rubio:Julio
Contributed to:
2010
1997Wrote 2 papers:
- LOPSTR-2010-HerasPR #correctness #proving #set
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (JH, VP, JR), pp. 37–51.
- CAiSE-1997-DominguezZR #approach #concept #metamodelling
- A Conceptual Approach to Meta-Modelling (ED, MAZ, JR), pp. 319–332.