2 records found
1
Algebra-coalgebra duality in Brzozowski's minimization algorithm
Stream differential equations: Specification formats and solution methods