dblp.uni-trier.de www.uni-trier.de

Theoretical Computer Science, Volume 175

Volume 175, Number 1, 30 March 1997

Non-standard Logics and Logical Aspects of Computer Science - NSL'94, Kanazawa, Japan

Volume 175, Number 2, 10 April 1997

Orders, Algorithms and Applications - Ordal'94, July 1994, Lyon, France

Copyright © Fri Mar 12 17:33:08 2010 by Michael Ley (ley@uni-trier.de)