2 papers
math.CO2021
Segments on the Right Branch of a Binary Tree
Naomi Lindenstrauss
It is proved that the average number of segments on the right branch of a binary tree of size n tends to 3 as n tends to . Also the fraction of trees with k segments on the…
cs.PL2000
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in the…