65 citations · 93 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Confluence of Layered Rewrite Systems
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems…
cs.LO2015★ 12 cited
The computability path ordering
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability pa…