Francisco José Galán

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Francisco José Galán, José Miguel Cañete
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. APPIA-GULP-PRODE (2002)