The following pages link to BABEL (Q15552):
Displaying 21 items.
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- Towards the uniform implementation of declarative languages (Q4395686) (← links)
- (Q4413065) (← links)
- (Q4421874) (← links)
- (Q4446264) (← links)
- (Q4452126) (← links)
- (Q4452630) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)
- (Q4705614) (← links)
- (Q4858579) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- (Q4940928) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Implementation of a UU-algorithm for primitive recursive tree functions (Q5055894) (← links)
- Functional and Logic Programming (Q5308013) (← links)
- Functional and Logic Programming (Q5308015) (← links)
- Functional and Logic Programming (Q5308019) (← links)
- Overlapping Rules and Logic Variables in Functional Logic Programs (Q5449594) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
