Computer science logic
Subtitle: 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
By: Leszek Pacholski, Jerzy Tiuryn, eds.
Contributors: Pacholski, Leszek.; Tiuryn, Jerzy.
Series: Lecture notes in computer science ;; 933
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 541
Subjects: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references (p. 541) and index.