R. Arruabarrena

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

R. Arruabarrena, Paqui Lucio, Marisa Navarro
A Strong Logic Programming View for Static Embedded Implications. FoSSaCS (1999)
R. Arruabarrena, Marisa Navarro
On Extended Logic Languages supporting Program Structuring. APPIA-GULP-PRODE (1996)