The tree width of an alternating finite automaton (AFA) measures the parallelism in all computations AFA on a given input. maximal existential (respectively, universal) A string w number choices parallel universal branches) one computation w. We give polynomial time algorithms deciding finiteness AFA’s and width. Also we algorithm that for with decides whether or not is finite. Finiteness decid...

realism and a true understanding of every issue is the prerequisite for success in thinking about that issue, and in investigating its consequences and boons. human existential position can be investigated from different aspects: from the viewpoint of his need, dependence, and existential poverty, that would be the source of scientific, practical, and ethical consequence. in this article, after...

For any LP system, tabling can be quite handy in a variety of tasks, especially if it is efficiently implemented and fully integrated in the language. Implementing tabling in Mercury poses special challenges for several reasons. First, Mercury is both semantically and culturally quite different from Prolog. While decreeing that tabled predicates must not include cuts is acceptable in a Prolog s...

Most empirical studies of the effects of nuclear weapons treat these weapons as a binary variable, but there are strong reasons to think that the effects of a state’s nuclear arsenal are conditioned by that state’s policies. I argue that the effect of nuclear weapons in non-existential disputes is determined by what I call nuclear risk: the overall likelihood that these weapons may be used with...