Thirteenth Annual IEEE Symposium on Logic in Computer Science
Subtitle: proceedings : June 21-24, 1998, Indianapolis, Indiana
By: organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ... [et al.].
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: IEEE Computer Society Press
Published: 1998
Place of publication: Los Alamitos, California
Language: eng
Number of pages: 538
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: 1998 IEEE 13th Annual Symposium on Logic in Computer Science; IEEE 13th Annual Symposium on Logic in Computer Science
Notes: [IEEE Computer Society Order Number] "PR8506"--verso of T.p.

"IEEE Order Plan Catalog Number 98CB36226"--verso of T.p.

Includes bibliographical references and index.