BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
Collaborated with:
A.Formica M.Missikoff
Talks about:
theorem (1) satisfi (1) databas (1) schema (1) prover (1) orient (1) object (1) check (1)

Person: Roberto Terenzi

DBLP DBLP: Terenzi:Roberto

Contributed to:

ICLP 19951995

Wrote 1 papers:

ICLP-1995-FormicaMT #database #object-oriented #proving #satisfiability #theorem proving
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas (AF, MM, RT), p. 819.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.