|
|||||
|
|
On the union of well-founded relations |
|
| Authors: | Doornbos, H Von Karger, B |
| Affiliation: | CCO Informatica Opleidingen, Akerstraat, Heerlen, Nederland A1 Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Preusserstrasse 1-9, D-24105 Kiel, Germany. E-mail: bvk@informatik.uni-kiel.de |
| Abstract: | |
| Keywords: | Well-founded relations regular algebra programtermination. |
| 本文献已被 Oxford 等数据库收录！ | |