The following pages link to (Q4954441):
Displaying 5 items.
- Implementing constructive intensional negation (Q839831) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Négation constructive et axiomatique interne (Q4385672) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- A rewrite approach for constraint logic programming (Q5096353) (← links)
