Lawrence J. Henschen

Available identifiers

zbMath Open henschen.lawrence-jMaRDI QIDQ685470

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2775881	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q2766963	2002-01-28	Paper
An efficient database transitive closure algorithm	1994-07-21	Paper
Interpreting disjunctive logic programs based on a strong sense of disjunction	1994-01-13	Paper
Semantics and properties of existential quantifiers in deductive databases	1994-01-09	Paper
The completeness of gp-resolution for annotated logics	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490992	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3489507	1989-01-01	Paper
Maintaining state constraints in relational databases: a proof theoretic basis	1989-01-01	Paper
Errata to, ``Deduction in non-Horn databases	1988-01-01	Paper
A Top-down Inference Procedure for Template Dependencies	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820054	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820060	1988-01-01	Paper
Deduction in non-Horn databases	1985-01-01	Paper
Experiments with semantic paramodulation	1985-01-01	Paper
On compiling queries in recursive first-order databases	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939271	1982-01-01	Paper
Theorem Proving by Covering Expressions	1979-01-01	Paper
Semantic Resolution for Horn Sets	1976-01-01	Paper
Unit Refutations and Horn Sets	1974-01-01	Paper
A theorem-proving language for experimentation	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lawrence J. Henschen