The following pages link to Walter Hussak (Q277616):
Displayed 11 items.
- Disjoint Hamilton cycles in transposition graphs (Q277617) (← links)
- On CCS with parametric relabelling (Q1914043) (← links)
- Decidable cases of first-order temporal logic with functions (Q2426731) (← links)
- Star graph automorphisms and disjoint Hamilton cycles (Q2852107) (← links)
- Monodic temporal logic with quantified propositional variables (Q2893321) (← links)
- The serializability problem for a temporal logic of transaction queries (Q3647287) (← links)
- Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs (Q4640337) (← links)
- Serializable histories in quantified propositional temporal logic (Q4652741) (← links)
- On Termination of a Flooding Process (Q5145194) (← links)
- On the termination of flooding (Q5874288) (← links)
- Termination of amnesiac flooding (Q6099033) (← links)