… a path order with multiset status, the polynomial path order POP∗, that is applicable in two
related, but distinct contexts. On the one hand POP∗ induces polynomial … ∗ provides an order-…

… a polynomial interpretation (called POLO-symbols). In this article, only linear polynomial …
to extend the ordering to the higher-order case, since applying polynomial interpretations to …

… We introduce a novel path order with multiset status, the polynomial path order >pop∗. …
As an application in the context of ICC we provide an order-theoretic characterisation of the …

… order called the weighted path order (WPO). WPO compares weights of terms as in the
Knuth-Bendix order (KBO), … We investigate summations, polynomials and maximums for such …

… We incorporate argument filterings in the base order and we show that polynomial path
orders can be employed for the analysis of relative steps. In Chapter 6 we present POP …

… Path Ordering [4]. The most widely used term orderings in automatic termination tools are the
recursive path ordering (RPO) and the polynomial ordering (… a new ordering that combines …

… We show how polynomial path orders can be employed efficiently in conjunction with weak
innermost dependency pairs to automatically certify polynomial runtime complexity of term …

… of higher order derivative information at each precision point. In this paper, we enumerate
all 30 combinations of higher order path synthesis that lead to square polynomial systems for …

… The application of operator ordering and Hahn polynomials to the … cation of operator ordering
and Hahn polynomials to the exact … 3Weyl ordering is useful in path integration because it …

… Paths is polynomial time solvable for undirected chordal graphs and tournament graphs. We
also show that Tracking Paths is … In order to give a complete solution for tracking paths in a …