Next:
Objectives
Up:
FLIP: Functional-plus-Logic Programming on
Previous:
Contents
Introduction
Objectives
Approach and Results
Outline