Publications
Type of Publication: Article in Collected Edition
Rule Termination Analysis Based on a Rule Meta Model
- Author(s):
- Zimmer, D.; Meckenstock, A.; Unland, R.
- Title of Anthology:
- CADLAB-Report 02
- Publication Date:
- 1995
- Citation:
- Download BibTeX