8 papers:
ICALP-v1-2015-BodirskyMM #constraints #integer #problem- Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
CHI-2013-MollersDLB #scalability #using- Improving touch accuracy on large tabletops using predecessor and successor (MM, ND, SL, JOB), pp. 755–758.
LICS-2013-EickmeyerKK #first-order #graph #invariant #logic #model checking- Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (KE, KiK, SK), pp. 134–142.
LATA-2012-KaraST #automaton #logic #word- Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
- LATA-2011-Hadravova #morphism
- The Block Structure of Successor Morphisms (JH), pp. 298–309.
- LICS-2003-Rossman #finite
- Successor-Invariance in the Finite (BR), p. 148–?.
ICEIS-2002-Rodriguez-Luna #process #word- Stemming Process in Spanish Words with the Successor Variety Method. Methodology and Result (MRL), pp. 838–842.
STOC-1984-Rougemont #finite- Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.
