Results 181 to 190 of about 328 (209)

Lower Semilattices of Separable Congruences of Numbered Algebras

Siberian Mathematical Journal, 2023
Andrey Morozov, Nadimulla Kasymov, Kasymov N Kh   +2 more
exaly  

Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

Siberian Mathematical Journal, 2022
Indira Khodzhamuratova, Nadimulla Kasymov, Ruzmat Dadazhanov   +2 more
exaly  

An Algebraic Framework for Separate Type-Checking

1999
We address the problem of defining an algebraic framework for modularization supporting separate type-checking. In order to do that we introduce the notions of abstract type system and logic of constraints and we present a canonical construction of a model part, on top of a logic of constraints.
openaire   +2 more sources

Separable Cowreaths Over Clifford Algebras

Advances in Applied Clifford Algebras, 2023
Blas Torrecillas, Claudia Menini, Torrecillas Blas   +2 more
exaly  

Separable Algebras

1994
Yurij A. Drozd, Vladimir V. Kirichenko
openaire   +2 more sources

T1-Separable Numberings of Subdirectly Indecomposable Algebras

Algebra and Logic, 2021
Kasymov N Kh, Morozov A S, A S Morozov
exaly  

Algebraic Calculi for Separation Logic.

2015
A major research topic for the discipline of software engineering is the development of formal methods that ensure correctness of computer programs w.r.t. their specifications. Various approaches have been developed over the last decades, especially in the field of logical methods.
openaire   +1 more source

Homomorphisms onto effectively separable algebras

Siberian Mathematical Journal, 2016
Kasymov N Kh, N Kh Kasymov
exaly  

Disjunctive optimization, max-separable problems and extremal algebras

Theoretical Computer Science, 2003
Karel Zimmermann
exaly  

The spatial isomorphism problem for close separable nuclear C*-algebras

Proceedings of the National Academy of Sciences of the United States of America, 2010
Erik Christensen, Stuart White, Wilhelm Winter   +2 more
exaly