The following pages link to (Q2736363):
Displaying 5 items.
- Termination of floating-point computations (Q850498) (← links)
- Norms on terms and their use in proving universal termination of a logic program (Q1318707) (← links)
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- Reasoning about prolog programs: From modes through types to assertions (Q1346766) (← links)
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
