Proving that a Tree Language is not First-Order Definable.

Mon, 01 Jan 2018 00:00:00 +0100

Martin Beaudry:
Proving that a Tree Language is not First-Order Definable. CoRR abs/1812.01674 (2018)