Rainer Manthey

Rheinische Friedrich Wilhelms Universität Bonn - Bonn / Germany

Engineering & Technology / Computer Science

AD Scientific Index ID: 1763764

University of Bonn

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Rheinische Friedrich Wilhelms Universität Bonn

Rainer Manthey's MOST POPULAR ARTICLES

1-) SATCHMO: a theorem prover implemented in Prolog 9th International Conference on Automated Deduction, 415-434, 1988

2-) A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases Advances in Database Technology—EDBT'88, 488-505, 1988

3-) Checking Consistency of Database Constraints Morgan Kaufman, 1986

4-) Integrity verification in knowledge bases Logic Programming, 114-139, 1992

5-) Chimera: A model and language for active DOOD systems East/West Database Workshop, 3-16, 1995

ARTICLES

Add your articles