Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

著者

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• ACM Special Interest Group for Automata and Computability Theory
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

書誌事項

Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center

IEEE Computer Society Press, c1996

• : soft
• : case
• : microfiche

タイトル別名

1996 IEEE 11th Annual Symposium on Logic in Computer Science

96CB35952

LICS'96

注記

Includes bibliographies and index

"IEEE Catalog Number 96CH35952"

内容説明・目次

内容説明

Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. Subjects covered include: finite model theory, concurrency, temporal logic and

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA28891104
• ISBN:
  • 0818674636
  • 0780336542
  • 0780336550
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif. ; Tokyo
• ページ数/冊数: xv, 535 p.
• 大きさ: 28 cm