Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Automated Deduction — CADE-12: Termination orderings for rippling

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Automated Deduction — CADE-12
Personen und Körperschaften: Basin, David A., Walsh, Toby
In: Automated Deduction — CADE-12, 1994, S. 466-483
Format: E-Book-Kapitel
Sprache: Unbestimmt
veröffentlicht:
Springer Berlin Heidelberg