|
Rainer Manthey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Peter C. Lockemann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Peter C. Lockemann cite Rainer MantheyOrdered by citing publication[Change the order to 'ordered by cited']
-
Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann
Generating Consistent Test Data for a Variable Set of General Consistency Constraints [Citation Graph (2, 22)][DBLP] VLDB J., 1993, v:2, n:2, pp:173-213 [Journal] Cites:
-
Rainer Manthey, François Bry
SATCHMO: A Theorem Prover Implemented in Prolog. [Citation Graph (8, 0)][DBLP] CADE, 1988, pp:415-434 [Conf]
-
François Bry, Hendrik Decker, Rainer Manthey
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. [Citation Graph (29, 9)][DBLP] EDBT, 1988, pp:488-505 [Conf]
-
François Bry, Rainer Manthey
Checking Consistency of Database Constraints: a Logical Basis. [Citation Graph (13, 4)][DBLP] VLDB, 1986, pp:13-20 [Conf]
|