105 search results - page 2 / 21 » First order properties on nowhere dense structures |
ICPR
2004
IEEE
14 years 6 months ago
2004
IEEE
In augmented virtuality, estimating object surface reflectance properties is important when rendering objects under arbitrary illuminationconditions. However, faithfully estimatin...
BSL
2005
13 years 4 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
LICS
2007
IEEE
13 years 11 months 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 ...
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
STACS
2001
Springer
13 years 9 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...