bibliographer - René Thiemann

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages Jurgen Giesl Stephan Swiderski Peter Schneider-Kamp René Thiemann [github]

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic Julian Biendarra Jasmin Christian Blanchette Aymeric Bouzy Martin Desharnais Mathias Fleury Johannes Hölzl Ondřej Kunčar Andreas Lochbihler Fabian Meier Lorenz Panny Andrei Popescu Christian Sternagel René Thiemann Dmitriy Traytel [github]

Analyzing Program Termination and Complexity Automatically with AProVE Jürgen Giesl Cornelius Aschermann Marc Brockschmidt Fabian Emmes Florian Frohn Carsten Fuhs Jera Hensel Carsten Otto Martin Plücker Peter Schneider-Kamp Thomas Ströder Stephanie Swiderski René Thiemann [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]