Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms

Preprint

Manfred Kufleitner

Jan Philipp Wächter

Publication

Year of publication: 2014

Identifiers

Other: arXiv:1411.0593v1

Locators

URL: https://arxiv.org/abs/1411.0593v1

Alternative Titles

Preprint

File