5 citations · 22 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DS2017
A Grammar Compression Algorithm based on Induced Suffix Sorting
Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog +2
We introduce GCIS, a grammar compression algorithm based on the induced suffix sorting algorithm SAIS, introduced by Nong et al. in 2009. Our solution builds on the factorization p…
cs.PL2017
Nominal C-Unification
Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández +1
Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We…