180 search results - page 18 / 36 » Self-Assembly of Infinite Structures |
145
click to vote
APAL
2004
15 years 2 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...
128
click to vote
COLING
1996
15 years 4 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
134
click to vote
FUIN
2010
15 years 13 days ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
119
click to vote
SIAMCOMP
2010
14 years 9 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
106
click to vote
SCL
2008
15 years 3 months ago
2008
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...