The following pages link to (Q3787443):
Displaying 9 items.
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- Bounded-wait merge in Shapiro's concurrent Prolog (Q1079007) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- Four domains for concurrency (Q1179700) (← links)
- A structured alternative to Prolog with simple compositional semantics (Q3087448) (← links)
- Lock-free atom garbage collection for multithreaded Prolog (Q4593072) (← links)
- Logic Programming (Q5191489) (← links)