Search results
From MaRDI portal
- 1985-01-01 Paper Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing 1985-01-01 Paper Cylindric algebras. Part II...10 bytes (19 words) - 05:23, 9 December 2023
- non-representable cylindric algebra with pairing functions 1986-01-01 Paper On the number of generators of cylindric algebras 1985-01-01 Paper Cylindric-relativised...10 bytes (16 words) - 16:22, 9 December 2023
- Relation algebras from cylindric algebras. I 2002-12-11 Paper Relation algebras from cylindric algebras. II 2002-12-11 Paper Relation algebra reducts of...10 bytes (16 words) - 17:23, 9 December 2023
- locally finite dimensional cylindric algebras are elementarily equivalent 1981-01-01 Paper Cylindric set algebras. Cylindric set algebras and related structures...10 bytes (17 words) - 12:52, 28 January 2024
- 1985-01-01 Paper Cylindric algebras. Part II 1985-01-01 Paper Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D...10 bytes (17 words) - 09:20, 13 December 2023
- types algebraically and more about amalgamation for modal cylindric algebras 2023-09-12 Paper Notions of representability for cylindric algebras: some...10 bytes (18 words) - 16:22, 9 December 2023
- Relation algebras from cylindric algebras. II 2002-12-11 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper Relation algebra reducts...10 bytes (18 words) - 17:23, 9 December 2023
- which is not a cylindric reduct 1990-01-01 Paper Finitary Algebraic Logic 1989-01-01 Paper Canonical Relativized Cylindric Set Algebras 1989-01-01 Paper Nonfinite...10 bytes (19 words) - 20:23, 11 December 2023
- de/entity/Q3987179 1992-06-28 Paper Boolean sentence algebras: Isomorphism constructions 1983-01-01 Paper The Boolean algebra of the theory of linear orders 1980-01-01...10 bytes (16 words) - 10:40, 24 September 2023
- Publication Date of Publication Type Algebraic Analysis of The Term Logic with Choice Operator 1981-01-01 Paper Cylindric Algebras with Filter Quantifiers 1980-01-01...10 bytes (16 words) - 12:21, 14 March 2024
- 2003-06-09 Paper Amalgamation in finite dimensional cylindric algebras 2003-04-23 Paper Computing with cylindric modal logics and arrow logics, lower bounds 2003-03-12...10 bytes (17 words) - 23:25, 24 September 2023
- concurrent program algebra 2021-05-04 Paper Cylindric Kleene lattices for program construction 2020-05-05 Paper Developing an algebra for rely/guarantee...10 bytes (18 words) - 04:48, 13 December 2023
- 2016-10-25 Paper Relational lattices: from databases to universal algebra 2016-06-22 Paper The algebra of functions with antidomain and range 2016-02-04 Paper Lower...10 bytes (17 words) - 14:30, 24 September 2023
- asymmetric six-vertex model 2021-02-01 Paper Cylindric symmetric functions and positivity 2020-02-20 Paper Cylindric reverse plane partitions and 2D TQFT 2019-05-15...10 bytes (16 words) - 14:00, 8 December 2023
- 2015-02-20 Paper Cylindrical algebraic sub-decompositions 2014-11-27 Paper Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition...10 bytes (18 words) - 20:53, 9 December 2023
- synchronous concurrent program algebra 2021-05-04 Paper https://portal.mardi4nfdi.de/entity/Q5856417 2021-03-26 Paper Cylindric Kleene lattices for program...10 bytes (18 words) - 14:34, 8 December 2023
- Isolation over a Single Logarithmic Extension of Real Algebraic Numbers 2018-04-05 Paper Cylindrical algebraic decomposition using local projections 2016-02-19...10 bytes (18 words) - 21:29, 9 December 2023
- Publication Type Poset structure concerning cylindric diagrams 2024-03-19 Paper On Hook Formulas for Cylindric Skew Diagrams 2022-02-16 Paper Combinatorics...10 bytes (16 words) - 03:09, 25 September 2023
- 2017-06-26 Paper Cylindrical algebraic decompositions for boolean combinations 2017-02-10 Paper Truth table invariant cylindrical algebraic decomposition...10 bytes (18 words) - 21:29, 9 December 2023
- variable ordering for cylindrical algebraic decomposition 2024-02-05 Paper Levelwise construction of a single cylindrical algebraic cell 2024-02-05 Paper...10 bytes (17 words) - 20:53, 9 December 2023
