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