We are now ready to define vector spaces. The idea is to observe that sets of column vectors, or row vectors, or more generally matrices of a given size, all come equipped with a notion of addition ...

Abstract: The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the classical ...

Abstract: Message Sequence Graphs (MSGs) form a popular model often used for the documentation of telecommunication protocols. They consist of typical scenarios of message exchanges depicted as ...

Vol. 13, No. 2B, SPECIAL ISSUE for 9th International Symposium on Generalized Convexity/Monotonicity (April 2009), pp. 657-673 (17 pages) The image space approach is applied to the study of vector ...

Abstract In this paper, four types of Levitin-Polyak well-posedness of vector quasi-equilibrium problems with a functional constraint, as well as an abstract set constraint are investigated. Some ...