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

Author(s)

• 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)

Bibliographic Information

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.]

Other Title

LICS'96

Eleventh Annual IEEE Symposium on Logic in Computer Science

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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

by "Nielsen BookData"

Details

• NCID: BD05638331
• ISBN:
  • 0818674636
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xv, 535 p.
• Size: 28 cm