Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrew John Ylvisaker
A Formalization of Logic in Diagonal-Free Cylindric Algebras
Related publications
Terms in Cylindric Algebras
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Connections Between Relation Algebras and Cylindric Algebras
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Sheaf-Theoretic Duality Theory for Cylindric Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Galois Theory for Cylindric Algebras and Its Applications
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Technical Systems in Logic: Questions of Formalization and Automatic Verification
Logical Investigations
Formalization of the Pedagogical Model by the Language of Predicate Logic
Algebraic Logic. IV. Equality in Polyadic Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Centralizers in Free Associative Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Orthogonal Similarity Transformation of a Symmetric Matrix Into a Diagonal-Plus-Semiseparable One With Free Choice of the Diagonal
Numerische Mathematik
Computational Mathematics
Applied Mathematics
