Some applications of non clausal deduction

Authors:
Anavai G. Ramesh
Affiliations:
-
Venue:
Some applications of non clausal deduction
Year:
1995

Citing 0
Cited 2

Finding Tractable Formulas in NNF

CL '00 Proceedings of the First International Conference on Computational Logic
Efficient query processing with compiled knowledge bases

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract