Eintrag weiter verarbeiten
Rewriting Techniques and Applications: Unification, weak unification, upper bound, lower bound, and generalization problems
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Rewriting Techniques and Applications: Unification, weak unification, upper bound, lower bound, and generalization problems |
In: | Rewriting Techniques and Applications, 1991, S. 86-97 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 86-97 |
ISSN: |
0302-9743 1611-3349 |
DOI: | 10.1007/3-540-53904-2_88 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |