Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Paper Implicit language equations: existence and uniqueness of solutions 1997-02-28 Paper Unrestricted complementation in language equations over a one-letter...
    10 bytes (18 words) - 17:50, 11 December 2023
  • Formulas of the Language L 2010-02-02 Paper An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring...
    10 bytes (18 words) - 01:21, 10 December 2023
  • 2016-01-05 Paper Algebraic geometry over Boolean algebras in the language with constants 2015-07-31 Paper Equations over completely simple semigroups. 2015-07-28...
    10 bytes (18 words) - 01:08, 11 December 2023
  • 2007-08-17 Paper Language equations with complementation: decision problems 2007-05-11 Paper Language Equations with Symmetric Difference 2007-05-02 Paper...
    10 bytes (17 words) - 09:17, 25 September 2023
  • Paper Algebraic method of simplifying Boolean networks using semi‐tensor product of Matrices 2020-11-02 Paper Language acceptability of finite automata based...
    10 bytes (16 words) - 14:10, 24 September 2023
  • elements of partially ordered sets of Boolean degrees 2015-07-17 Paper Definability in the language of functional equations of a countable-valued logic 2015-05-12...
    10 bytes (18 words) - 16:04, 9 December 2023
  • separable boolean functions 1973-01-01 Paper An algorithm for feature classification and structural memorization 1973-01-01 Paper On form and language: The...
    10 bytes (19 words) - 16:57, 7 December 2023
  • locally testable languages 1984-01-01 Paper On equations for regular languages, finite automata, and sequential networks 1980-01-01 Paper Languages of R-trivial...
    10 bytes (19 words) - 23:55, 11 December 2023
  • Paper ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS 2011-03-30 Paper BOOLEAN GRAMMARS AND GSM MAPPINGS 2010-11-11 Paper On Language Equations XXK = XXL...
    10 bytes (16 words) - 15:30, 6 October 2023
  • Publication Date of Publication Type Boolean-arithmetic equations: acquisition and uses 2023-10-04 Paper Time-Series Constraints: Improvements and Application...
    10 bytes (16 words) - 13:54, 24 September 2023
  • modelling methods: from differential equations, to Boolean and qualitative bioinspired models 2021-09-14 Paper Encoding Boolean networks into reaction systems...
    10 bytes (16 words) - 12:30, 28 January 2024
  • 1977-01-01 Paper A language for inquiring about the run-time behaviour of programs 1977-01-01 Paper Symbolic Solution of Finite-Difference Equations 1977-01-01...
    10 bytes (17 words) - 10:59, 24 September 2023
  • expressive power of univariate equations over sets of natural numbers 2012-05-24 Paper A game-theoretic characterization of Boolean grammars 2011-03-14 Paper...
    10 bytes (16 words) - 19:45, 24 September 2023
  • 2022-08-18 Paper Solving polynomial fixed point equations 2022-08-18 Paper Free shuffle algebras in language varieties extended abstract 2022-08-16 Paper...
    10 bytes (17 words) - 13:45, 8 December 2023
  • Paper Reduction of Depth of Boolean Networks with a Fan-In Constraint 1977-01-01 Paper Efficient Parallel Evaluation of Boolean Expressions 1976-01-01 Paper...
    10 bytes (19 words) - 15:42, 12 December 2023
  • Publication Date of Publication Type Boolean dynamics revisited through feedback interconnections 2024-02-09 Paper Relation-changing models meet paraconsistency...
    10 bytes (19 words) - 23:53, 10 December 2023
  • for comparing query languages in their ability to express Boolean queries 2019-12-09 Paper A monotone preservation result for Boolean queries expressed as...
    10 bytes (20 words) - 23:15, 9 December 2023
  • Nondeterministic syntactic complexity 2021-10-18 Paper On language varieties without Boolean operations 2021-10-04 Paper Automata Learning 2021-01-21 Paper...
    10 bytes (16 words) - 00:44, 25 September 2023
  • 1981-01-01 Paper Recursive isomorphism types of recursive Boolean algebras 1981-01-01 Paper Recursive Boolean algebras with recursive atoms 1981-01-01 Paper CO‐Simple...
    10 bytes (19 words) - 16:57, 9 December 2023
  • a comparison of Boolean envelopes 2010-09-02 Paper Automatic Abstraction for Congruences 2010-01-14 Paper Inferring Congruence Equations Using SAT 2008-07-15...
    10 bytes (16 words) - 15:14, 6 October 2023
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)