1199 search results - page 1 / 240 » Theories of orders on the set of words |
63
Voted
ITA
2006
14 years 10 months ago
2006
71
Voted
AML
2008
14 years 11 months ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
118
Voted
ACST
2006
15 years 8 days ago
2006
Consider the problem of membership query for a given partially ordered set. We devise a greedy algorithm which can produce near-optimal search strategies. Rigorous analysis has be...
FSS
2007
14 years 10 months ago
2007
In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applic...
103
Voted
LATA
2009
Springer
15 years 5 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...