Relational treatment of term graphs with bound variables期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Relational treatment of term graphs with bound variables

Authors:	Kahl W

Institution:	Department of Computer Science, German Armed forces University Munich, D-85577 Neubiberg, Germany. E-mail: kahl@informakik.unibw-muenchen.de

Abstract:

Keywords:	Term graph rewriting relational matching relationcalculus ${lambda}$ -calculus" target="_blank">gif" ALT="{lambda}" BORDER="0">-calculus
本文献已被 Oxford 等数据库收录！