Felix Laarmann

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Function Symbols

Rewrite Systems

Top Venues

Publications

Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
Finite Combinatory Logic with Predicates. TYPES (2023)
Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof
Restricting Tree Grammars with Term Rewriting. FSCD (2022)