A new characterization of complete Heyting and co-Heyting algebras

Get full text

Formalized linear algebra over Elementary Divisor Rings in Coq

Get full text

Weighted Logics for Nested Words and Algebraic Formal Power Series

Get full text

Computing the unit group of a commutative finite $mathbb{Z}$-algebra

Get full text

Average-case algorithms for testing isomorphism of polynomials, algebras, and multilinear forms

Get full text

Resolution of the symmetric algebra of an (n+1)-generated ideal of depth n

Get full text

Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras

Get full text

Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories

Get full text

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Get full text

Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus

Get full text

Regular Cost Functions, Part I: Logic and Algebra over Words

Get full text

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

Get full text

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

Get full text

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Get full text

Stability analysis of nonlinear algebraic-differential equations with 2-delays and numerical methods

Get full text

Nonlinear mixed skew bi-skew Jordan $n$-derivations on $ast$-algebras

Get full text

An algebraic characterization of Minkowski planes which admit all reflections about generators

Get full text

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Get full text