Sign Up to like & get
recommendations!
0
Published in 2019 at "Order"
DOI: 10.1007/s11083-018-9458-3
Abstract: Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraïssé game on A and B. We extend earlier results about n-equivalence classes for finite coloured linear orders,…
read more here.
Keywords:
coloured linear;
representatives finite;
optimal representatives;
finite coloured ... See more keywords