@periodical{UBHD-66036135, organization={Symposium on Logic in Computer Science}, title={Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE}, publisher={Computer Society Pr.}, address={Washington, DC}, year={1986-1989}, issn={1043-6871}, keywords={Mathematische Logik / Theoretische Informatik}, library={MA [Signatur: Kongr. 1987/6]}, }