The following pages link to (Q4202945):
Displayed 4 items.
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- A framework for incremental learning of logic programs (Q1390950) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Incremental learning of logic programs (Q6061888) (← links)