14 citations · 14 across the 1 of their papers we have counts for
1 paper · 1 filter
Petar Vukmirović, Alexander Bentkamp, Visa Nummelin
We developed a procedure to enumerate complete sets of higher-order unifiers based on work by Jensen and Pietrzykowski. Our procedure removes many redundant unifiers by carefully r…