๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On well quaasiordering of finite languages

โœ Scribed by Martin Klazar


Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
360 KB
Volume
163
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Finite Languages for the Representation
โœ Andrzej Ehrenfeucht; Joost Engelfriet; Grzegorz Rozenberg ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 538 KB

We introduce a new way of specifying graphs: through languages, i.e., sets of strings. The strings of a given (finite, prefix-free) language represent the vertices of the graph; whether or not there is an edge between the vertices represented by two strings is determined by the pair of symbols at th

The complexity of countable categoricity
โœ Aleksander Ivanov ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 139 KB

## Abstract We study complexity of the index set of countably categorical theories and Ehrenfeucht theories in finite languages.