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:
game (5)
fraïssé (4)
logic (2)
fixpoint (2)
structur (1)

Stem ehrenfeucht$ (all stems)

8 papers:

AFLAFL-2014-CarapelleFGQ13 #game studies #word
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
ICALPICALP-v1-2009-HolubN #problem
The Ehrenfeucht-Silberger Problem (SH, DN), pp. 537–548.
LICSLICS-2009-Rossman #game studies
Combining Ehrenfeucht-Fraïssé Games (BR), p. 331.
CIAACIAA-2003-Sutner #sequence
The Ehrenfeucht-Mycielski Sequence (KS), pp. 282–293.
CSLCSL-1999-Marcinkowski #game studies #reachability
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.
CSLCSL-1998-Pezzoli #complexity #finite #game studies
Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures (EP), pp. 159–170.
CSLCSL-1992-Bosse #fixpoint #game studies #logic
An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.
ICALPICALP-1982-Culik #on the #testing
On Test Sets and the Ehrenfeucht Conjecture (KCI), pp. 128–140.

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.