Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Association for Symbolic Logic
• European Association for Theoretical Computer Science
• Fields Institute for Research in Mathematical Sciences
• Le Centre de Recherches Mathématiques (CRM)
• University of Ottawa

Bibliographic Information

Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa

IEEE Computer Society, c2003

Other Title

Proceedings, eighteenth Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada

LICS 2003

Note

IEEE Computer Society Order Number: PR01884

Includes bibliographical references and index

Details

• NCID: BA62528388
• ISBN:
  • 0769518842
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: xiv, 393 p.
• Size: 28 cm