1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
David M. Cerna, Michal Buran
Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in gene…
math.GR2021
Separability and Randomness in Free Groups
Michal Buran
We prove new separability results about free groups. Namely, if are infinite index, finitely generated subgroups of a non-abelian free group , then there exi…
math.GT2019
Alternating quotients of right-angled Coxeter groups
Michal Buran
Let be a right-angled Coxeter group corresponding to a finite non-discrete graph with at least vertices. Our main theorem says that is connect…