Roberto Terenzi

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

Anna Formica, Michele Missikoff, Roberto Terenzi
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. ICLP (1995)
Anna Formica, Michele Missikoff, Roberto Terenzi
Constraint Satisfiability in Object-Oriented Databases. East/West Database Workshop (1994)