|
Search the dblp DataBase
Francisco Marqués:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (1, 0)][DBLP] DAISD, 1991, pp:185-203 [Conf]
- Francisco Marqués, Juan Carlos Casamayor
Consistency Verification of Deductive Database Schemes. [Citation Graph (0, 0)][DBLP] DAISD, 1993, pp:287-307 [Conf]
- Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker
A Mechanism for Verification of Knowledge Base Scheme Specifications. [Citation Graph (0, 0)][DBLP] EUROVAV, 1993, pp:103-115 [Conf]
Search in 0.001secs, Finished in 0.001secs
|