next up previous contents
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



Subsections

TRALE Reference Manual