3 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrew M Marshall, Catherine Meadows, Paliath Narendran
An algorithm for unification modulo one-sided distributivity is an early result by Tidén and Arnborg. More recently this theory has been of interest in cryptographic protocol analy…