scientific article; zbMATH DE number 3313249

From MaRDI portal
Publication:5593643

zbMath0196.51702MaRDI QIDQ5593643

Michael A. Harrison

Publication date: 1965


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (61)

Algebraic nonlinearity and its applications to cryptographyDecomposition of linear sequential machinesMaximin sequential-like machines and chainsOn generalizations of separating and splitting familiesOn quotient machines of a fuzzy automaton and the minimal machineFinite automata play repeated prisoner's dilemma with information processing costsON THE COMPLEXITY OF THE EVALUATION OF TRANSIENT EXTENSIONS OF BOOLEAN FUNCTIONSBetter lower bounds for monotone threshold formulasOn observability of discrete-event systemsAN ATLAS OF ROBUST, STABLE, HIGH-DIMENSIONAL LIMIT CYCLESDecomposition of linear sequential machines. IIAn invariant for bounded-to-one factor maps between transitive sofic subshiftsTopological conjugacy for sofic systemsAn interconnection of local maps inducing onto global mapsA catalog of Boolean concepts.Errors can increase cooperation in finite populationsContext-sensitive immediate constituent analysis: Context-free languages revisitedAnomalies in the transcriptional regulatory network of the yeast \textit{Saccharomyces cerevisiae}The symmetry rule in propositional logicTransformation completeness properties of SVPC transformation setsBridged graphs, circuits and Fibonacci numbersA new lower bound on the expected size of irredundant forms for Boolean functionsNondegenerate functions and permutationsFuzzy neural networksClasses of discrete optimization problems and their decision problemsTransforming sequential systems into concurrent systemsA new normal form of Boolean functionsComplexity and organizational architectureDifference operators and extended truth vectors for discrete functionsA characterization of automata and a direct product decompositionThe polynomial-time hierarchyFLAWS OF FORMConvex subsets of \(2^n\) and bounded truth-table reducibilityAddressable approximations to nonaddressable data graphsLocal maps inducing surjective global maps of one-dimensional tessellation automataOn the number of prime implicantsDecomposable maps in general tessellation structuresFuzzy star functions, probabilistic automata, and their approximation by non-probabilistic automataA theoretical analysis of the effects of amygdalectomy and of organismi motivationHeuristic NPN Classification for Large Functions Using AIGs and LEXSATOrder-configuration functions: Mathematical characterizations and applications to digital signal and image processingInfinite linear sequential machinesRegular expressions and the equivalence of programsMaximin, Minimax, and composite sequential machinesTime-varying linear sequential machines. ITrees with structuresEnumerating Types of Boolean FunctionsUnnamed ItemNonuniform complexity classes specified by lower and upper boundsGroup theoretical and combinatorial analysis of histocompatibility and switching algebraOn the Structure of Counterexamples to Symmetric Orderings for BDD'sEnumeration of hypergraphs. IEnumeration of hypergraphs. ISolvable classes of discrete dynamic programmingEnumerating fuzzy switching functions and free Kleene algebrasTopics in the theory of DNA computing.Transitive reduction of a nilpotent Boolean matrixConstruction of recognition devices for regular languages from their Backus Normal Form definitionClassic: A hierarchical clustering algorithm based on asymmetric similaritiesDie Automatentheorie als Teilgebiet der angewandten MathematikFuzzy Symmetric Functions with Don't‐care Conditions and Applications




This page was built for publication: