The following pages link to Tomasz Brengos (Q535112):
Displaying 11 items.
- Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem (Q535113) (← links)
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Weak Bisimulations for Coalgebras over Ordered Functors (Q2915163) (← links)
- Weak bisimulation for coalgebras over order enriched monads (Q2941763) (← links)
- On Coalgebras with Internal Moves (Q2942776) (← links)
- (Q3121518) (← links)
- On covariety lattices (Q3568097) (← links)
- A uniform framework for timed automata (Q4608678) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)