The following pages link to Bohumil František Šmarda (Q587477):
Displaying 50 items.
- (Q677403) (redirect page) (← links)
- On one approach for constructing a structural systems theory (Q677404) (← links)
- The lattice of closure relations on a poset (Q690091) (← links)
- Pointfree spectra of Riesz spaces (Q702205) (← links)
- Angle orders (Q762509) (← links)
- (Q789540) (redirect page) (← links)
- Idempotent semigroups generated by threads. I (Q789541) (← links)
- An inequality for partially ordered sets (Q912874) (← links)
- On the dimension of the Cartesian product of relations and orders (Q912876) (← links)
- (Q916745) (redirect page) (← links)
- Strong regularity of matrices in a discrete bottleneck algebra (Q916746) (← links)
- Varieties of \(\ell\)-groups with infinite axiomatic rank (Q1065044) (← links)
- On linear extensions of ordered sets with a symmetry (Q1085187) (← links)
- A universal topological group with countable base (Q1086363) (← links)
- Dimension versus size (Q1109056) (← links)
- When is a LOTS densely orderable? (Q1120144) (← links)
- A characterization of realizable behavior in supervisory control of timed event graphs (Q1129729) (← links)
- Dimension of distributive lattices and universal spaces (Q1183643) (← links)
- Friendship destroys orderability via clustering pseudogaps (Q1203846) (← links)
- The fixed point property for small sets (Q1262328) (← links)
- Compact semitopological semigroups and reflexive representability of topological groups (Q1264932) (← links)
- Reduction of timed hybrid systems (Q1273542) (← links)
- Duality of observability and controllability properties of nonlinear dynamic systems (Q1282547) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Dynamic min-max problems (Q1300102) (← links)
- An undecidable problem for timed automata (Q1300103) (← links)
- Controllers for reachability specifications for hybrid systems (Q1301405) (← links)
- Complexity of stability and controllability of elementary hybrid systems (Q1301420) (← links)
- Alignment properties in ordinal comparison of discrete event dynamic systems (Q1304056) (← links)
- \({\mathcal Z}\)-continuous posets and their topological manifestation (Q1306707) (← links)
- Pole structure assignment via non-regular static state feedback (Q1307125) (← links)
- The Archimedean \(\ell\)-group tensor product (Q1311424) (← links)
- On trees and tree dimension of ordered sets (Q1318361) (← links)
- Fixed point property for 11-element sets (Q1319082) (← links)
- On countably compact topologies on compact groups and on dyadic compacta (Q1329393) (← links)
- Canonical modules and Cohen-Macaulay types of partially ordered sets (Q1333235) (← links)
- The dimension of interior levels of the Boolean lattice (Q1337570) (← links)
- Generalized dimension of an ordered set and its MacNeille completion (Q1338129) (← links)
- Two representations of finite ordered sets (Q1343248) (← links)
- Existence of positive harmonic functions on groups and on covering manifolds (Q1347277) (← links)
- System behavior in quotient systems (Q1354250) (← links)
- A survey of Petri net methods for controlled discrete event systems (Q1360353) (← links)
- On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets (Q1360354) (← links)
- Near ultrafilters and compactifications (Q1362890) (← links)
- Controller synthesis for net condition/event systems with a solution for incomplete state observation (Q1383474) (← links)
- Minimal paths between maximal chains in finite rank semimodular lattices (Q1383820) (← links)
- Semimodular lattices and semibuildings (Q1383821) (← links)
- Adjoint actions on the modulo 5 homology groups of \(E_8\) and \(\Omega E_8\) (Q1384476) (← links)
- Generalized algebraic structures for the representation of discrete systems (Q1386502) (← links)
- Developing a mathematical theory of computability which speaks the language of levels (Q1388954) (← links)
