The following pages link to (Q3992583):
Displaying 14 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)
- Grammar theory based on quantum logic (Q1421575) (← links)
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750) (← links)
- (Q3204030) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- (Q4039759) (← links)
- Linguistics, Logic and Finite Trees (Q4318160) (← links)
- Preference logic grammars (Q4719300) (← links)
- Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths (Q4852912) (← links)
- (Q4866989) (← links)
- (Q5419898) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)