Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme

Gerhard Gröger. Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. In WLP. pages 36-41, 1993.

Authors

Gerhard Gröger

This author has not been identified. Look up 'Gerhard Gröger' in Google