Stem ehrenfeucht$ (all stems)

8 papers:

AFL-2014-CarapelleFGQ13 #game studies #word

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.

ICALP-v1-2009-HolubN #problem

The Ehrenfeucht-Silberger Problem (SH, DN), pp. 537–548.

LICS-2009-Rossman #game studies

Combining Ehrenfeucht-Fraïssé Games (BR), p. 331.

CIAA-2003-Sutner #sequence

The Ehrenfeucht-Mycielski Sequence (KS), pp. 282–293.

CSL-1999-Marcinkowski #game studies #reachability

Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.

CSL-1998-Pezzoli #complexity #finite #game studies

Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures (EP), pp. 159–170.

CSL-1992-Bosse #fixpoint #game studies #logic

An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.

ICALP-1982-Culik #on the #testing

On Test Sets and the Ehrenfeucht Conjecture (KCI), pp. 128–140.