Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

chemin récursif

recursive path

informatique et traitement des données - acta.es

▷

Automation of recursive path ordering for infinite labelled rewrite systems... We show that such automation can be achieved for semantic labelling with natural numbers, in combination with recursive path ordering (RPO)....

général - core.ac.uk - PDF: www.loc.gov

On recursive path ordering AbstractThe ‘Recursive Path Ordering’ (RPO) scheme of Dershowitz is a powerful way of extending a partial order on a set of function symbols to a well-founded partial order on their set of...

Recursive path ordering for infinite labelled... We show that such automation can be achieved for semantic labelling with natural numbers, in combination with recursive path ordering (RPO)....

PDF: citeseerx.ist.psu.edu

Certified higher-order recursive path orderingRecursive path ordering (RPO) is a well-known reduction ordering introduced by Dershowitz [6], that is useful for proving termination of term rewriting systems (TRSs)....

PDF: citeseerx.ist.psu.edu

Recursive path orderings can also be incremental... In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally....

PDF: citeseerx.ist.psu.edu