The following pages link to William W. Wadge (Q987827):
Displayed 25 items.
- Strong equivalence of logic programs under the infinite-valued semantics (Q987828) (← links)
- An extensional treatment of dataflow deadlock (Q1143166) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- (Q2758292) (← links)
- (Q2758323) (← links)
- Extensional Higher-Order Logic Programming (Q2946709) (← links)
- (Q3118352) (← links)
- (Q3601402) (← links)
- (Q3678639) (← links)
- (Q3776591) (← links)
- R for Semantics (Q3936221) (← links)
- Towards a unified theory of intensional logic programming (Q4015949) (← links)
- (Q4124312) (← links)
- Lucid—A Formal System for Writing and Proving Programs (Q4136511) (← links)
- (Q4138082) (← links)
- (Q4187284) (← links)
- (Q4191559) (← links)
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)
- (Q4471777) (← links)
- The monadic hybrid calculus (Q4586221) (← links)
- (Q4708939) (← links)
- Numerical form reduction of probabilistic computations in non-parametric classification (Q4772565) (← links)
- Minimum model semantics for logic programs with negation-as-failure (Q5277727) (← links)
- Logic Programming (Q5475797) (← links)
- Multidimensional infinite data in the language Lucid (Q5740669) (← links)