|
MFCS Proceedings |
LNCS 3153 is now available online. You can find information about it at http://www.springeronline.com/3-540-22823-3 or access the online version at http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3153&issue=preprint
Institute for Theoretical Computer Science
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics, Charles University,
Prague
All rights reserved. © 2003