Inproceedings,

First-order definable languages.

, and .
Logic and Automata, volume 2 of Texts in Logic and Games, page 261-306. Amsterdam University Press, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews