Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal...
A uniquely parsable grammar (UPG) introduced by Morita et al. (1997) is a kind of generative grammar, where parsing can be performed without backtracking. In this paper, we invest...
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
In this paper we study the well-posedness (existence and uniqueness of solutions) of linear relay systems with respect to two di erent solution concepts, Filippov solutions and fo...
Y. J. Lootsma, A. J. van der Schaft, M. K. Ç...