Logic in Computer Science, 11th Symposium on (LICS 96).

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

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1996
Zusammenfassung:
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 calculus, model checking, semantics and domains, lambda calculus, and complexity decidability. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Umfang:
1 online resource (xv, 535 page) : illustrations
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics > Congresses.
Bezugswerke: