An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

von Bromberger, Martin
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

von Leutgeb, Lorenz
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures

von Leutgeb, Lorenz
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Der kleine Krankenfreund : Beherziggn f. Kranke u. ihre Umgebg nebst. Gebeten f. Kranke u. Krankenkenpflegende

von Leitgeb, Lorenz
Veröffentlicht 1898

Die Verbrechen der katholischen Ordensgenossenschaften : für Jedermann verständlich

von Leitgeb, Lorenz
Veröffentlicht 1903

Mei Hoamat : Ein Beitrag z. Kulturgeschichte Tirols. Fürs Volk geschrieben von Lorenz Leitgeb

von Leitgeb, Lorenz
Veröffentlicht 1909

˜Dieœ alte Jungfer : Fingerzeig zum Glücke für junge und alte Damen

von Leitgeb, Lorenz
Veröffentlicht 1906

Die alte Jungfer : Fingerzeig z. Glücke f. junge und alte Damen

von Leitgeb, Lorenz
Veröffentlicht 1906

Schmerz-Maria-Büchlein : Betrachtgn u. Gebete zu Ehren d. schmerzhaften Muttergottes

von Leitgeb, Lorenz
Veröffentlicht 1896

Schmerz-Maria-Büchlein : Leitgeb, Lorenz, C. Ss. R. ; Betrachtungen u. Gebete z. Ehren d. schmerzhaften Muttergottes. Hrsg. von den P. P. Redemptoristen

von Leitgeb, Lorenz
Veröffentlicht 1929

Zeiten und Bräuche : Jugenderinnerungen aus dem Tiroler Volksleben

von Leitgeb, Lorenz
Veröffentlicht 1906

˜Derœ kleine Krankenfreund : Beherzigungen für Kranke und ihre Umgebung, nebst Gebeten für Kranke und Krankenpflegende

von Leitgeb, Lorenz
Veröffentlicht 1898

˜Dasœ große Liebesmahl heiliger Seelen : 31 Erwägungen und Gebete vor und nach der hl. Kommunion für Welt- und Ordensleute

von Leitgeb, Lorenz
Veröffentlicht 1906

Mei Hoamat : ein Beitrag zur Kulturgeschichte Tirols

Veröffentlicht 2004

G'spassige und b'sundere Leu : Erinnerungen aus d. Tiroler Volksleben

von Leitgeb, Lorenz
Veröffentlicht 1907

Zeiten und Bräuche : Jugenderinnerungen aus d. Tiroler Volksleben

von Leitgeb, Lorenz
Veröffentlicht 1905

˜Dasœ Gebet, das große Mittel des Heiles

von Liguori, Alfonso Maria de'
Veröffentlicht 1892