| Original language | English |
|---|---|
| Title of host publication | Proc. Conf. on Rewriting Techniques and Applications (RTA '11) |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
| Pages | 393-408 |
| Publication status | Published - 2011 |
Proving Equality of Streams Automatically
J. Endrullis, H. Zantema
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review