Name Card

Full name Familienname, Vorname
Moser, Georg
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian Automated Expected Amortised Cost Analysis of Probabilistic Data StructuresInproceedings Konferenzbeitrag 6-Aug-2022
2Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresKonferenzbeitrag Inproceedings 2022
3Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011
4Baaz, Matthias ; Moser, Georg Herbrand's theorem term inductionArtikel Article 2006

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gramlich, Bernhard ; Györgyfalvay, Klaus On Modularity of Termination Properties of Rewriting under StrategiesKonferenzbeitrag Inproceedings2012