The following pages link to Howard A. Blair (Q1262745):
Displaying 20 items.
- (Q1029590) (redirect page) (← links)
- Set based logic programming (Q1029592) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- Definite clause programs are canonical (over a suitable domain) (Q1356204) (← links)
- A continuum of discrete systems (Q1376083) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
- Topological signals of singularities in Ricci flow (Q2275134) (← links)
- The recursion-theoretic complexity of the semantics of predicate logic as a programming language (Q3043128) (← links)
- (Q3339282) (← links)
- (Q3348419) (← links)
- (Q3477998) (← links)
- (Q3685233) (← links)
- (Q3768366) (← links)
- (Q4207887) (← links)
- (Q4255516) (← links)
- (Q4318639) (← links)
- (Q4332414) (← links)
- (Q4702570) (← links)
- Game characterizations of logic program properties (Q5101444) (← links)
- Elementary Differential Calculus on Discrete and Hybrid Structures (Q5434497) (← links)
