@incollection{Beauquier-Podelski/93, AUTHOR = {Beauquier, Dani{\`e}le and Podelski, Andreas}, TITLE = {Rabin tree automata and finite monoids}, BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)}, SERIES = {LNCS}, VOLUME = {711}, PAGES = {262-271}, YEAR = {1993}, EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=262}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Gianantonio/93, AUTHOR = {Gianantonio, Pietro Di}, TITLE = {Real number computability and domain theory}, BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)}, SERIES = {LNCS}, VOLUME = {711}, PAGES = {413-422}, YEAR = {1993}, EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=413}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Hromkovic-Kari-Kari/93, AUTHOR = {Hromkovi{\v{c}}, Juraj and Kari, Jarkko and Kari, Lila}, TITLE = {Some hierarchies for the communication complexity measures of cooperating grammar systems}, BOOKTITLE = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS'93 (Gda{\'n}sk, Poland, August 30 - September 3, 1993)}, SERIES = {LNCS}, VOLUME = {711}, PAGES = {495-505}, YEAR = {1993}, EDITOR = {Borzyszkowski, Andrzej M. and Soko{\l}owski, Stefan}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=711&spage=495}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, }