Results 171 to 180 of about 26,272 (205)
Algebraic Separation Logic [PDF]
, 2010 We present an algebraic approach to separation logic. In particular, we give an algebraic characterisation for assertions of separation logic, discuss different classes of assertions and prove abstract laws fully algebraically. After that, we use our algebraic framework to give a relational semantics of the commands of the simple programming language ...
Dang, Han Hing +2 more
openaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Subgroups of Central Separable Algebras
Canadian Journal of Mathematics, 1973In [8] I. N. Herstein conjectured that all the finite odd order sub-groups of the multiplicative group in a division ring are cyclic. This conjecture was proved false in general by S. A. Amitsur in [1]. In his paper Amitsur classifies all finite groups which can appear as a multiplicative subgroup of a division ring. Let D be a division ring with prime
openaire +1 more source
ALGEBRAIC FUNCTIONS WITH SEPARATED SINGULARITIES
Mathematics of the USSR-Izvestiya, 1971In this article we consider irreducible algebraic functions of several complex variables. Among them we distinguish a class of algebraic functions with separated singularities and give a description of this class.
openaire +3 more sources
Recursively separable enumerated algebras
Russian Mathematical Surveys, 1996An enumerated algebra is a pair \((A, \nu)\), where \(A\) is a universal algebra and \(\nu\) is a mapping from the set of natural numbers to \(A\) such that if \(F\) is an operation on \(A\) then there is an algorithm that produces a recursive function \(f\) and \(F(\nu x_1, \ldots, \nu x_2) = \nu f(x_1, \ldots, x_n)\). The paper is an extensive survey
openaire +2 more sources
Integrative oncology: Addressing the global challenges of cancer prevention and treatment
Ca-A Cancer Journal for Clinicians, 2022Jun J Mao,, Msce +2 more
exaly
Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma
Ca-A Cancer Journal for Clinicians, 2020Aaron J Grossberg +2 more
exaly
Oral complications of cancer and cancer therapy
Ca-A Cancer Journal for Clinicians, 2012Joel B Epstein +2 more
exaly