The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
If : L L is a bijection from the set of lines of a linear space (P, L) onto the set of lines of a linear space (P , L ) (dim (P, L), dim (P , L ) 3), such that intersecting lin...
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...