CSL
2009
Springer
14 years 6 months ago
2009
Springer
CSL
2009
Springer
14 years 6 months ago
2009
Springer
CSL
2009
Springer
14 years 6 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
CSL
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
CSL
2009
Springer
14 years 6 months ago
2009
Springer
CSL
2009
Springer
14 years 6 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
CSL
2009
Springer
14 years 6 months ago
2009
Springer
CSL
2009
Springer
14 years 6 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
CSL
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. It it shown that the first-order theory of an automatic structure, whose Gaifman graph has bounded degree, is decidable in doubly exponential space (for injective automa...
CSL
2009
Springer
14 years 6 months ago
2009
Springer