The following pages link to (Q4413056):
Displaying 7 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- On the implementation of GNU Prolog (Q2893102) (← links)
- (Q3713590) (← links)
- (Q4294268) (← links)
- 1983–1993: The wonder years of sequential Prolog implementation (Q4305631) (← links)
- Logic programming (Q6602251) (← links)