Pages that link to "Item:Q5410638"
From MaRDI portal
The following pages link to On Representations of Abstract Systems with Partial Inputs and Outputs (Q5410638):
Displaying 5 items.
- Simple-named complex-valued nominative data -- definition and basic operations (Q1688748) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- On algebras of algorithms and specifications over uninterpreted data (Q2311521) (← links)
- On an algorithmic algebra over simple-named complex-valued nominative data (Q2311522) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
