Proceedings, 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
• AT & T Research
• Bell Laboratories. Lucent Technologies DIMACS
• Almaden Research Center (IBM Research)

書誌事項

Proceedings, 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

• : [pbk.]

タイトル別名

LICS'96

Eleventh Annual IEEE Symposium on Logic in Computer Science

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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): BD05638331
• ISBN:
  • 0818674636
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xv, 535 p.
• 大きさ: 28 cm