Logic in Computer Science, 10th Symposium on (LICS '95

The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a...

Ausführliche Beschreibung

Gespeichert in:
1. Verfasser:
Kozen, Dexter
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1995
Zusammenfassung:
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR.
Umfang:
1 online resource (xiii, 518 pages) : illustrations
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Bibliografie:
Includes bibliographical references.
ISSN:
1043-6871
Schlagworte:
Computer science > Mathematics > Congresses.
Logic, Symbolic and mathematical > Congresses.
Bezugswerke:
Links: