Next: TRALE-EXTENSION:Signature Input Format Up: ale_trale_ref Previous: Unification Algorithm Contents

Signature files

W. Detmar Meurers, Ohio State University
Thilo Götz, Dale Gerdemann, Eberhard-Karls-Universität Tübingen ^2.1

TRALE Reference Manual