Search results
From MaRDI portal
- classes of a Boolean algebra 1935-01-01 Paper Postulates for Boolean Algebras and Generalized Boolean Algebras 1935-01-01 Paper Boolean algebras and their...10 bytes (19 words) - 09:14, 12 December 2023
- Solving Fragments of Parameterised Boolean Equation Systems 2016-01-08 Paper Liveness Analysis for Parameterised Boolean Equation Systems 2015-12-17 Paper...10 bytes (20 words) - 19:33, 12 December 2023
- 2006-10-20 Paper On formal models in investigating critical velocities (illustrated by Lorentz transformations) 2003-09-09 Paper Boolean algebra as a fragment...10 bytes (18 words) - 10:02, 9 December 2023
- 1938-01-01 Paper Boolean algebra and the abstract theory of algebraic ideals. 1934-01-01 Paper On the representation of abstract Boolean algebras. 1934-01-01...10 bytes (19 words) - 08:48, 12 December 2023
- 2020-12-10 Paper The finite embeddability property for topological quasi-Boolean algebra 5 2020-01-14 Paper \(\mathrm{Venn}_{i_{o1}} \): a diagram system for...10 bytes (18 words) - 23:58, 10 December 2023
- Publication Date of Publication Type Phenotype control of partially specified Boolean networks 2024-02-28 Paper Digital bifurcation analysis of TCP dynamics 2023-11-24...10 bytes (16 words) - 14:02, 10 December 2023
- constructivizability of countable saturated Boolean algebras 1983-01-01 Paper Countable homogeneous Boolean algebras 1983-01-01 Paper Groups of recursive automorphisms...10 bytes (18 words) - 01:08, 11 December 2023
- Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra 1997-02-09 Paper Dynamically changing interface as a model of...10 bytes (19 words) - 01:11, 9 December 2023
- Lewis's strict implication and Boolean algebra. 1934-01-01 Paper The relation between Lewis's strict implication and Boolean algebra. 1934-01-01 Paper The postulational...10 bytes (19 words) - 08:47, 12 December 2023
- 2019-02-08 Paper Probabilistic Thread Algebra 2019-02-08 Paper On Instruction Sets for Boolean Registers in Program Algebra 2019-02-08 Paper A Hoare-Like Logic...10 bytes (19 words) - 21:19, 8 December 2023
- a generalized Hermitian algebra 2018-04-19 Paper Vector lattices in synaptic algebras 2018-01-02 Paper Every synaptic algebra has the monotone square root...10 bytes (16 words) - 22:57, 8 December 2023
- backward Boolean equivalence 2023-01-18 Paper Differential Equivalence for Linear Differential Algebraic Equations 2022-07-28 Paper Reducing Boolean networks...10 bytes (17 words) - 09:49, 7 October 2023
- 2001-05-16 Paper Linear algebra for computer scientists. I. Foundations, discrete mathematics. II. Linear algebra 2000-08-20 Paper On Lie algebras in the category...10 bytes (17 words) - 17:43, 8 December 2023
- Concurrent Kleene Algebra 2009-12-11 Paper Concurrent Kleene Algebra 2009-10-22 Paper Quantales and Temporal Logics 2009-04-28 Paper The Linear Algebra of UTP 2009-04-02...10 bytes (17 words) - 01:01, 11 December 2023
- ERODE to reduce Boolean networks by backward Boolean equivalence 2023-01-18 Paper Differential Equivalence for Linear Differential Algebraic Equations 2022-07-28...10 bytes (17 words) - 09:49, 7 October 2023
- 2024-04-10 Paper Typicality: a formal concept analysis account 2022-02-22 Paper Factorizing Boolean matrices using formal concepts and iterative usage of...10 bytes (16 words) - 01:32, 9 December 2023
- variables: a divide and conquer approach 2022-05-25 Paper Application of formal methods to biological regulatory networks: extending Thomas' asynchronous...10 bytes (18 words) - 14:26, 11 December 2023
- Paper Behavioral complexity indicators for process algebra: The NKS approach 2007-07-16 Paper Formal Techniques for Networked and Distributed Systems –...10 bytes (16 words) - 16:53, 12 December 2023
- Timed Process Algebra 2008-07-01 Paper SOS formats and meta-theory: 20 years after 2007-04-19 Paper Duplication of constants in process algebra 2007-02-09...10 bytes (17 words) - 05:12, 12 December 2023
- numbers, and some algebras over the Boolean lattice 2017-02-17 Paper https://portal.mardi4nfdi.de/entity/Q2806877 2016-05-19 Paper Zeon Algebra, Fock Space,...10 bytes (17 words) - 08:35, 9 December 2023