Results 121 to 130 of about 20,804 (234)
Checking Contact Tracing App Implementations with Bespoke Static Analysis. [PDF]
SN Comput Sci, 2022 Flood R, Chan SC, Chen W, Aspinall D.
europepmc +1 more source
On Algebras of Distributions of Binary Formulas for Theories of Unars
Известия Иркутского государственного университета: Серия "Математика", 2016 Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory.
D. Emelyanov
doaj
A reconstruction theory of relational schema induction. [PDF]
PLoS Comput Biol, 2021 Phillips S.
europepmc +1 more source
On the atomic structure of torsion-free monoids [PDF]
, 2023 Felix Gotti, Joseph Vulakh
openalex +1 more source
Topologies for the free monoid
Journal of Algebra, 1991 The finite group (or profinite) topology was first introduced for the free group by M. Hall Jr. and by Reutenauer for free monoids. This is the initial topology defined by all the monoid morphisms from the free monoid into a discrete finite group. The p-adic topology is defined in the same way by replacing "group" by "p-group" in the definition.
openaire +2 more sources
Subgroups of free idempotent generated semigroups: full linear monoid [PDF]
, 2010 Mark Brittenham +2 more
openalex +1 more source
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source