A Complete, Nonredundant Algorithm for Reversed Skolemization

Authors:
Philip T. Cox;Tomasz Pietrzykowski
Affiliations:
-;-
Venue:
Proceedings of the 5th Conference on Automated Deduction
Year:
1980

Citing 0
Cited 2

Logic morphisms as a framework for backward transfer of lemmas and strategies in some modal and epistemic logics

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semi-automatic synthesis of security policies by invariant-guided abduction

FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust

Quantified Score

Hi-index	0.00

Visualization

Abstract