Wolfram Kahl. Relational Treatment of Term Graphs With Bound Variables. Journal of the IGPL 6 (2), 259--303 (March 1998). Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Total-Single-Pushout Derivations for Internal Graph Attribution - Kahl (1998) (Correct)
Internally Typed Second-Order Term Graphs - Kahl (1998) (2 citations) Self-citation (Kahl) (Correct)
The Higher-Order Programming System User Manual for HOPS Version.. - Kahl (1998) (2 citations) Self-citation (Kahl) (Correct)
A Fibred Approach to Rewriting - How the Duality between Adding.. - Kahl (1997) Self-citation (Kahl) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC