56 search results - page 8 / 12 » jirs 2007 |
88
Voted
ITA
2007
15 years 10 days ago
2007
Abstract For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) ...
93
Voted
DCG
2007
15 years 12 days ago
2007
Let C be a cone in R3 whose base B is a planar convex body in a horizontal plane π and whose tip is a point v /∈ π. Let C be a packing formed by translates of C and −C in R3...
97
Voted
ISIM
2007
15 years 1 months ago
2007
A scattered context grammar, G, erases nonterminals in a k-limited way, where k ≥ 1, if in every sentential form of any derivation, between every two symbols from which G derive...
112
Voted
ACS
2007
15 years 17 days ago
2007
Abstract. Prohibiting configurations (≡ induced finite connected posets) in Priestley spaces and properties of the associated classes of distributive lattices, and the related ...
ENDM
2007
15 years 12 days ago
2007
Kreweras’ conjecture [9] asserts that every perfect matching of the hypercube Qd can be extended to a Hamiltonian cycle of Qd. We [5] proved this conjecture but here we present ...