The following pages link to (Q4036550):
Displaying 11 items.
- Recursion equation sets computing logic programs (Q920624) (← links)
- Domains for logic programming (Q1185016) (← links)
- A logic of recursion (Q1262303) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- (Q3819057) (← links)
- On unification of terms with integer exponents (Q4327380) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)
- Reasoning with recursive loops under the PLP framework (Q5277816) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)