7 search results - page 2 / 2 » Successor-invariant first-order logic on finite structures |
LICS
2007
IEEE
14 years 2 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
EJC
2010
13 years 5 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...