Decidability for left-linear growing term rewriting systems
| Autor: | Nagaya, Takashi, Toyama, Yoshihito |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1998 |
| Zdroj: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology). :1-17 |
| ISSN: | 0918-7553 |
| Popis: | リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） 本文は図書館に配架されています。 / This material is stored in the JAIST library. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|