14th Symposium on Logic in Computer Science: Proceedings July 2-5, 1999, Trento, Italy

Institute of Electrical and Electronics Engineers

ISBN 10: 0769501583 / ISBN 13: 9780769501581

Published by IEEE, 1999

About this Item

Seller Inventory # 0769501583-VB

Bibliographic Details

• Title: 14th Symposium on Logic in Computer Science: Proceedings July 2-5, 1999, Trento, Italy
• Publisher: IEEE
• Publication Date: 1999
• Language: English
• ISBN 10: 0769501583
• ISBN 13: 9780769501581
• Binding: paperback
• Condition: As New

About this title

Synopsis

Four of the five invited talks are included in the proceedings. They discuss some decision problems of enormous complexity; plausibility measures and default reasoning; Cartesian closed double categories, their lambda notation, and the pi-calculus; and proving security protocols correct. Others of the 46 papers discuss such topics as two- variable descriptions of regularity, pattern matching as cut elimination, full abstraction and universality through realizability, a superposition decision procedure for the guarded fragment with equality, verifying broadcast protocols, concurrent games and full completeness, and linear types and non-size-increasing polynomial time computation. Only the authors made it into the index. Annotation c. Book News, Inc., Portland, OR (booknews.com)