Eintrag weiter verarbeiten
10th International Conference on Automated Deduction: Rewrite systems for varieties of semigroups
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
10th International Conference on Automated Deduction: Rewrite systems for varieties of semigroups |
In: | 10th International Conference on Automated Deduction, 1990, S. 396-410 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 396-410 |
ISSN: |
0302-9743 1611-3349 |
DOI: | 10.1007/3-540-52885-7_102 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |