Canonical forms for interval functions
نویسندگان
چکیده
منابع مشابه
Canonical Forms of Borel Functions on the Milliken Space
The goal of this paper is to canonize Borel measurable mappings ∆: Ωω → R, where Ωω is the Milliken space, i.e., the space of all increasing infinite sequences of pairwise disjoint nonempty finite sets of ω. This main result is a common generalization of a theorem of Taylor and a theorem of
متن کاملCanonical Forms for BiHamiltonian Systems
Dedicated to the Memory of Jean-Louis Verdier BiHamiltonian systems were rst deened in the fundamental paper of Magri, 5], which deduced the integrability of many soliton equations from the fact that they could be written in Hamiltonian form in two distinct ways. More recently, the classical completely integrable Hamiltonian systems of ordinary diierential equations, such as the Toda lattice an...
متن کاملCanonical Forms and Unification
Fay has described in 12,3] a complete T-unilication for equational theories T which possess a complete set of reductions as defined by Knuth & Bendix [12]. This algorithm relies essentially on using the narrowing process defined by Lankford I13]. In this paper, we first study the relations between narrowing and unification and we give a new version of Fay's algorithm. We then show bow to elimin...
متن کاملCanonical Forms and Conservation
In this paper, we shall review earlier work on canonical forms in linear elasticity, and applications to the classi cation of conservation laws (path-independent integrals).
متن کاملCanonical Forms in
In 7] a hierarchy of directed acyclic graph (dag) algebras is deened. The dags belonging to an algebra are deened up to an isomorphism which can be expressed by a congruence over a free term algebra, i.e. a dag is described by a congruence class of terms. In this paper we deal with the following problem: can be deened a canonical form in every congruence class and a canonical (connuent and term...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1987
ISSN: 0304-3975
DOI: 10.1016/0304-3975(87)90135-6