Left-Linear Completion with AC Axioms
Innsbruck, 2023Mechanizing confluence
automated and certified analysis of first- and higher-order rewrite systemsInnsbruck, October 2017On orthogonality of self-distributivity
Innsbruck, 1 November 2022Proof terms
Innsbruck, 28 November 2019- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Real root counting and derivational complexity of term rewrite systems
Innsbruck, 8 Janurary 2020 Reinforcement learning in the quantum domain
Innsbruck, December 20, 2022Reliable confluence analysis of conditional term rewrite systems
Innsbruck, 4 August 2017Resource analysis of imperative programs
Innsbruck, 16 September 2019- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Towards a hardware parallel implementation of interaction nets
Innsbruck, 10 December 2018 The weighted path order in TTT2
Innsbruck, 23 March 2020