The following pages link to (Q5533191):
Displaying 15 items.
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience (Q1010124) (← links)
- The equivalence of finite valued transducers (on HDT0L languages) is decidable (Q1090467) (← links)
- A six-state minimal time solution to the Firing squad synchronization problem (Q1097699) (← links)
- Transition matrices in the measurement and control of synchronous sequential machines (Q1144377) (← links)
- Data machines and standards, or the functional specification of information systems (Q1204805) (← links)
- Checking experiments for sequential machines (Q1217077) (← links)
- A strong pumping lemma for context-free languages (Q1238637) (← links)
- Inducing an order on cellular automata by a grouping operation (Q1283794) (← links)
- Rice's theorem for the limit sets of cellular automata (Q1342233) (← links)
- Deterministic automata. Simulation, universality and minimality (Q1377610) (← links)
- Finite nondeterministic automata: simulation and minimality (Q1575547) (← links)
- Computational universes (Q2483574) (← links)
- Some finite state aspects of legged locomotion (Q2531206) (← links)
- System identification via state characterization (Q2557198) (← links)
