16616 search results - page 242 / 3324 » Extending Extended Vacuity |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
155
click to vote
CORR
2010
Springer
15 years 6 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 ...
CORR
2010
Springer
15 years 6 months ago
2010
Springer