Francisco Marqués

Publication Activity (10 Years)

Years Active: 1991-1993
Publications (10 Years): 0

Publications

Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker
A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV (1993)
Francisco Marqués, Juan Carlos Casamayor
Consistency Verification of Deductive Database Schemes. DAISD (1993)
Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués
A Derivation Path Recording Method for Integrity Checking in Deductive Databases. DAISD (1991)