Pages that link to "Item:Q3564943"
From MaRDI portal
The following pages link to Progressive Solutions to a Parallel Automata Equation (Q3564943):
Displaying 8 items.
- Approximation of sets of superwords by \(L\)-language formulas (Q941189) (← links)
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- Design of reactive algorithms by solving equations over automata (Q2263188) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- On the edge-independence number and edge-covering number for regular graphs (Q4318599) (← links)
- (Q5146123) (← links)
- (Q5147341) (← links)