Login / Signup

Redex Capturing in Term Graph Rewriting (Concise Version).

William M. FarmerRonald J. Watro
Published in: RTA (1991)
Keyphrases