9 citations · 37 across the 32 of their papers we have counts for
1 paper · 2 filters
Paul Tarau
Using specializations of unfold and fold on a generic tree data type we derive unranking and ranking functions providing natural number encodings for various Hereditarily Finite da…