Etienne Payet

Identifiers

• name variant Etienne Payet 0.60 · backfill

Papers (8)

1. Guided Unfoldings for Finding Loops in Standard Term Rewriting cs.PL · 2018 · author #1
2. On the Completeness of Selective Unification in Concolic Testing of Logic Programs cs.LO · 2016 · author #2
3. Non-termination of Dalvik bytecode via compilation to CLP cs.PL · 2014 · author #1
4. A Second-Order Formulation of Non-Termination cs.LO · 2014 · author #2
5. A Non-Termination Criterion for Binary Constraint Logic Programs cs.PL · 2008 · author #1
6. An Improved Non-Termination Criterion for Binary Constraint Logic Programs cs.PL · 2005 · author #1
7. Non-Termination Inference of Logic Programs cs.PL · 2004 · author #1
8. A Generalization of the Lifting Lemma for Logic Programming cs.LO · 2002 · author #1

Mentions

• 1412.3729 #1 · backfill · confidence 0.70 Etienne Payet
• 1412.3271 #2 · backfill · confidence 0.70 Etienne Payet
• 0807.3451 #1 · backfill · confidence 0.70 Etienne Payet

Frequent Coauthors

• Fred Mesnard 7 shared papers
• German Vidal 1 shared papers