The following pages link to (Q4729329):
Displaying 5 items.
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Prolog infinite trees and automata (Q3991295) (← links)
- Algèbres effectives dans la programmation logique avec contraintes (Q4012670) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
