Eintrag weiter verarbeiten
Automated Deduction — CADE-12: Termination orderings for rippling
Gespeichert in:
Zeitschriftentitel: | Automated Deduction — CADE-12 |
---|---|
Personen und Körperschaften: | , |
In: | Automated Deduction — CADE-12, 1994, S. 466-483 |
Format: | E-Book-Kapitel |
Sprache: | Unbestimmt |
veröffentlicht: |
Springer Berlin Heidelberg
|