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

Giesl, J. ; Kühnemann, A. ; Voigtländer, J.
Deaccumulation Techniques for Improving Provability
Typ der Veröffentlichung
Technischer Bericht
Veröffentlicht in
Technical Report TUD-FI05-14
Schlagwörter
-
Verlagsort
TU Dresden
Jahrgang/Erscheinungsjahr
2005
Vermerk
Neuerscheinung
Seiten
1-50
Referiert
Nein
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
  • Elimination von Zwischenergebnissen in funktionalen Programmen
Berichtsjahr
2005
Export
Stand: 20.06.2018 09:00 Uhr