The following pages link to (Q3992583):
Displayed 5 items.
- A demonstrably correct compiler (Q749202) (← links)
- A generalized approach to metaprogramming in logic grammars (Q922715) (← links)
- The evolution of stochastic regular motifs for protein sequences (Q1396010) (← links)
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)