467 search results - page 55 / 94 » Roadmap of Infinite Results |
DM
2008
13 years 10 months ago
2008
A triangular grid graph is a finite induced subgraph of the infinite graph associated with the two-dimensional triangular grid. In 2000, Reay and Zamfirescu showed that all 2-conne...
EOR
2010
13 years 10 months ago
2010
We study a firm that makes new products in the first period and uses returned cores to make remanufactured products (along with new products) in future periods. The remanufactured...
ENTCS
2006
13 years 10 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
JAPLL
2006
13 years 10 months ago
2006
In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures...
JSYML
2008
13 years 10 months ago
2008
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite B...