|
|||||
|
|
Relational treatment of term graphs with bound variables |
|
| Authors: | Kahl W |
| Affiliation: | 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 |
| 本文献已被 Oxford 等数据库收录！ | |