Eintrag weiter verarbeiten
Conditional and Typed Rewriting Systems: Hierarchical termination
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Conditional and Typed Rewriting Systems: Hierarchical termination |
In: | Conditional and Typed Rewriting Systems, 1995, S. 89-105 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 89-105 |
ISSN: |
0302-9743 1611-3349 |
DOI: | 10.1007/3-540-60381-6_6 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |