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. |