:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bulatov, Andrei A.
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic in Computer Science Logic Rings and Algebras
Online-Zugang:	https://arxiv.org/abs/2006.09599
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

When Darwin met Ianus: dichotomies of expressivity
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

Network Satisfaction Problems Solved by k-Consistency
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2026)

The Ideal Membership Problem and Abelian Groups
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2022)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
von: Bolan, Matthew, et al.
Veröffentlicht: (2025)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
von: Baek, Jineon, et al.
Veröffentlicht: (2024)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
von: del Barco, Viviana, et al.
Veröffentlicht: (2025)

Formalizing Gröbner Basis Theory in Lean
von: Guo, Junyu, et al.
Veröffentlicht: (2026)

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
von: Feller, Roman, et al.
Veröffentlicht: (2024)

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

Cylindric quasi-implication algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
von: Järvinen, Jouni, et al.
Veröffentlicht: (2023)

Some applications of finite BL-algebras
von: Flaut, Cristina, et al.
Veröffentlicht: (2025)

Automorphisms and derivations on algebras endowed with formal infinite sums
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2024)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
von: Alpay, Natanael, et al.
Veröffentlicht: (2022)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Modular Counting over 3-Element and Conservative Domains
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2025)

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I
von: Sela, Z.
Veröffentlicht: (2025)

On the structure of approximate rings
von: Krupiński, Krzysztof, et al.
Veröffentlicht: (2026)

Complexity classification of counting graph homomorphisms modulo a prime number
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2021)

Discrete Homotopy and Promise Constraint Satisfaction Problem
von: Beikmohammadi, Arash, et al.
Veröffentlicht: (2025)

Modular Counting CSP: Reductions and Algorithms
von: Kazeminia, Amirhossein, et al.
Veröffentlicht: (2025)

Formal conjugacy and asymptotic differential algebra
von: Bagayoko, Vincent
Veröffentlicht: (2024)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

The theory of implicit operations
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Taylor expansions over generalised power series
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2025)

A Module-theoretic Introduction to Abstract Elementary Classes
von: Boney, Will
Veröffentlicht: (2025)

Bass modules and embeddings into free modules
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

Sharply 2-transitive groups of finite Morley rank
von: Altinel, Tuna, et al.
Veröffentlicht: (2018)

Constructive Quantifier Elimination with a Focus on Matrix Rings
von: Illmer, Maximilian, et al.
Veröffentlicht: (2025)

An addendum to "The theory of implicit operations"
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Quasicomplemented distributive nearlattices
von: Calomino, Ismael
Veröffentlicht: (2025)

Dual Ploščica spaces of ortholattices
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

Almost free modules, perfect decomposition and Enochs's conjecture
von: Cortés-Izurdiaga, Manuel, et al.
Veröffentlicht: (2024)

Satisfiability of commutative vs. non-commutative CSPs
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2024)

Non Commutative Algebraic Geometry I: Monomial Equations with a Single Variable
von: Sela, Zlil
Veröffentlicht: (2019)

On the structure and theory of McCarthy algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2025)

Permutation clones that preserve relations
von: Boykett, Tim
Veröffentlicht: (2024)