The following pages link to (Q4875865):
Displayed 13 items.
- Proving completeness of logic programs with the cut (Q511027) (← links)
- On the complexity of regular-grammars with integer attributes (Q632805) (← links)
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Constrained dependencies (Q1391931) (← links)
- Efficient reconfigurable embedded parsers (Q1749233) (← links)
- Case injected genetic algorithms for traveling salesman problems (Q1854036) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Model-based computing: Developing flexible machine control software (Q1978447) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Synchronized Regular Expressions (Q2841278) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- Termination of constraint logic programs (Q4572011) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)