162 search results - page 3 / 33 » A note on an extension of PDL |
JOLLI
2008
13 years 5 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
GMP
2008
IEEE
14 years 7 days ago
2008
IEEE
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...
AML
2005
13 years 5 months ago
2005
We show that a strong form of the so called Lindstr
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
COMBINATORICA
2010
13 years 3 months ago
2010
Recently Kamiyama, Katoh, and Takizawa have shown a theorem on packing arc-disjoint arborescences that is a proper extension of Edmonds' theorem on disjoint spanning branchin...