Semantic Trees Revisited: Some New Completeness Results
Authors:
Christian G. Fermüller
Affiliations:
-
Venue:
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Year:
1996
Citing
0
Cited
1
Automated deduction for many-valued logics
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract