Eintrag weiter verarbeiten
A region graph based approach to termination proofs
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | A region graph based approach to termination proofs/ Stefan Leue; Wei Wei |
Medientyp: | E-Book |
Sprache: | Englisch |
veröffentlicht: |
Konstanz
Bibliothek der Universität Konstanz
2006
|
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |