3319 search results - page 34 / 664 » Subshifts, Languages and Logic |
CSR
2008
Springer
13 years 11 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
PPSWR
2005
Springer
14 years 3 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
VL
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
IJCINI
2007
13 years 9 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...