Boolean transformations with unique fixed points
نویسندگان
چکیده
منابع مشابه
Exploiting Unique Fixed Points
Functional programmers happily use equational reasoning and induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, per perhaps less enthusiastically. Coinduction is often considered as a rather low-level proof method, especially, as it seems to depart rather radically from equational reasoning. In this talk we introduce an altern...
متن کاملLocal Transformations with Fixed Points on Complex Spaces with Singularities.
with coefficients which are analytic in S. This defines for us a topological space which will be denoted by U. If R is any subset of S then U(R) will denote those points of U whose base points are in R. Now there is a function D(z) analytic and not identically zero in S such that for E denoting the points of S where D vanishes the subset U(E) are possible singularities on U. However, U U(E) = U...
متن کاملFixed Points of Multiple-valued Transformations
A multiple-valued transformation T from a space X to a space Y is a function assigning to each point x o f X a nonempty closed subset T(x) of F. The graph of T comprises those points (x, y) in the topological product X Y for which y belongs to T(x). All spaces to be considered shall be compact metric and all transformations T shall be upper semi-continuous, meaning that their graphs are closed,...
متن کاملSolving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points
This paper presents a technique for the resolution of alternating disjunctive/conjunctive boolean equation systems. The technique can be used to solve various verification problems on finitestate concurrent systems, by encoding the problems as boolean equation systems and determining their local solutions. The main contribution of this paper is that a recent resolution technique from [13] for d...
متن کاملUnique Fixed Points in Domain Theory
We unveil new results based on measurement that guarantee the existence of unique xed points which need not be maximal. In addition, we establish that least xed points are always attractors in the topology, and then explore the consequences of these ndings in analysis. In particular, an extension of the Banach xed point theorem on compact metric spaces 3] is obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Slovaca
سال: 2007
ISSN: 1337-2211,0139-9918
DOI: 10.2478/s12175-007-0010-y