The following pages link to (Q3239817):
Displaying 38 items.
- Survey article: an elementary illustrated introduction to simplicial sets (Q422031) (← links)
- Non-contextual chocolate balls versus value indefinite quantum cryptography (Q477174) (← links)
- Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices (Q580161) (← links)
- Analogues of quantum complementarity in the theory of automata (Q639815) (← links)
- An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata (Q672727) (← links)
- Quelques propriétés des fibrés au sens de Kan (Q772448) (← links)
- New techniques for proving the decidability of equivalence problem (Q913523) (← links)
- State identification, existence of sequences and machine classification (Q915486) (← links)
- On the spaces of self homotopy equivalences for fibre spaces. II (Q1083713) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- The equivalence in the DCP model (Q1177152) (← links)
- Minimisation of acyclic deterministic automata in linear time (Q1190464) (← links)
- Fuzzy neural networks (Q1213388) (← links)
- Pumping lemmas for term languages (Q1250713) (← links)
- Equivalence problem of non-deterministic finite automata (Q1255319) (← links)
- Polynomial complete problems in automata theory (Q1838038) (← links)
- On the construction of standard complexes (Q1844916) (← links)
- Composition sequences for functions over a finite domain. (Q1853744) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Using a minimal number of resets when testing from a finite state machine (Q2390268) (← links)
- Synthesis of probability transformers (Q2524484) (← links)
- Time-varying sequential machines (Q2538134) (← links)
- The relationship between the diagonal and the bar constructions on a bisimplicial set (Q2569002) (← links)
- Varieties of contextuality based on probability and structural nonembeddability (Q2672646) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Cohomology with coefficients in symmetric cat-groups. An extension of Eilenberg–MacLane's classification theorem (Q3142765) (← links)
- The Homology of Twisted Cartesian Products (Q3844876) (← links)
- (Braided) tensor structures on homotopy groupoids and nerves of (Braided) categorical groups<sup>1</sup> (Q4369993) (← links)
- Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation (Q4580229) (← links)
- (Q4944194) (← links)
- $\overline{Spec\mathbb Z}$ and the Gromov norm (Q5220047) (← links)
- On the group ${\mathcal E}\left[ X \right]$ of homotopy equivalence maps (Q5338755) (← links)
- Partially ordered sets and semi-simplicial complexes (Q5539771) (← links)
- Principal Cofibrations in the Category of Simplicial Groups (Q5600726) (← links)
- On the spaces of self homotopy equivalences for fibre spaces (Q5903427) (← links)
- Simplicial homotopy theory (Q5921418) (← links)
- Incremental NFA minimization (Q6558632) (← links)
- The no-meet matroid (Q6558676) (← links)
