Eintrag weiter verarbeiten

A region graph based approach to termination proofs

Gespeichert in:

Personen und Körperschaften: Leue, Stefan (VerfasserIn), Wei, Wei (VerfasserIn)
Titel: A region graph based approach to termination proofs/ Stefan Leue; Wei Wei
Format: E-Book
Sprache: Englisch
veröffentlicht:
Konstanz Bibliothek der Universität Konstanz 2006
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen