Login / Signup

Relational Treatment of Term Graphs With Bound Variables.

Wolfram Kahl
Published in: Log. J. IGPL (1998)
Keyphrases