An Operator for Composing Deductive Databases with Theories of Constraints

You are here

TitleAn Operator for Composing Deductive Databases with Theories of Constraints
Publication TypeConference Paper
Year of Publication1995
AuthorsAquilino, D, Asirelli, P, Renso, C, Turini, F
Conference NameLPNMR
Taxonomy upgrade extras: