Acronyms von A bis Z
LNCS933
-L. Pacholski/J. Tiuryn (Eds.): Computer Science Logic. Proceedings 1994, Springer-Verlag 1995
-L. Pacholski/J. Tiuryn (Eds.): Computer Science Logic. Proceedings 1994, Springer-Verlag 1995