1999
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Prague
| Additional Metadata | |
|---|---|
| , | |
| Springer | |
| Lecture Notes in Computer Science | |
| International Colloquium on Automata, Languages and Programming | |
| Organisation | Computer Security |
|
Rutten, J. (1999). Automata, power series, and coinduction: taking input derivatives seriously (extended abstract). In Proceedings of Automata, Languages and Programming, International Colloquium 1999 (pp. 645–654). Springer. |
|