For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Giesl, Jürgen ; Kühnemann, Armin ; Voigtländer, Janis
Deaccumulation — Improving Provability
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
8th Asian Computing Science Conference, ASIAN 2003
Schlagwörter
-
Verlag
Springer-Verlag
Verlagsort
Mumbai, India
Jahrgang/Erscheinungsjahr
2003
Band/Vol.
2896
Seiten
146-160
Referiert
Ja
Open Access
Ja
Berichtsjahr
2003
Export
Stand: 18.06.2018 10:15 Uhr