Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Indiana University
• European Association for Theoretical Computer Science

Bibliographic Information

Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana

organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from College of Arts and Sciences, Indiana University, Bloomington ... [et. al]

IEEE Computer Society, c1998

• : softbound
• : casebound

Other Title

Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science

98CB36226

Note

IEEE order plan catalog no. 98CB36226

Description and Table of Contents

Description

This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting.

by "Nielsen BookData"

Details

• NCID: BA36844562
• ISBN:
  • 0818685069
  • 0780350642
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: xv, 538 p.
• Size: 28 cm