Felix Laarmann

According to our database, Felix Laarmann authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Restricting Tree Grammars with Term Rewriting.

Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022