Travelled to:1 × Germany
1 × Japan
1 × USA
Collaborated with:F.Bry
Talks about:databas (2) constraint (1) implement (1) theorem (1) satisfi (1) satchmo (1) consist (1) prover (1) prolog (1) deduct (1)
Person: Rainer Manthey
DBLP: Manthey:Rainer
Contributed to:
1988
1987
1986Wrote 3 papers:
- CADE-1988-MantheyB #named #prolog #proving #theorem proving
- SATCHMO: A Theorem Prover Implemented in Prolog (RM, FB), pp. 415–434.
- CSL-1987-BryM #database #deduction #finite #proving #satisfiability
- Proving Finite Satisfiability of Deductive Databases (FB, RM), pp. 44–55.
- VLDB-1986-BryM #consistency #constraints #database #logic
- Checking Consistency of Database Constraints: a Logical Basis (FB, RM), pp. 13–20.