The following pages link to (Q4353623):
Displaying 7 items.
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Completeness and counter-example generations of a basic protocol logic (extended abstract) (Q2863872) (← links)
- (Q3533560) (← links)
- (Q3678664) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- Exact knowledge compilation in predicate calculus: The partial achievement case (Q5234699) (← links)
- <i>What Tipper is Ready for: A Semantics for Incomplete Predicates</i> (Q5275778) (← links)