BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
structur (2)
word (2)
finit (2)
logic (2)
invari (2)

Stem successor$ (all stems)

8 papers:

ICALPICALP-v1-2015-BodirskyMM #constraints #integer #problem
Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
CHICHI-2013-MollersDLB #scalability #using
Improving touch accuracy on large tabletops using predecessor and successor (MM, ND, SL, JOB), pp. 755–758.
LICSLICS-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.
LATALATA-2012-KaraST #automaton #logic #word
Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
LATALATA-2011-Hadravova #morphism
The Block Structure of Successor Morphisms (JH), pp. 298–309.
LICSLICS-2003-Rossman #finite
Successor-Invariance in the Finite (BR), p. 148–?.
ICEISICEIS-2002-Rodriguez-Luna #process #word
Stemming Process in Spanish Words with the Successor Variety Method. Methodology and Result (MRL), pp. 838–842.
STOCSTOC-1984-Rougemont #finite
Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.