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

IEEE Computer Society; IEEE; Symposium On Logic In Computer Science

Softcover

ISBN 10: 0769501583 ISBN 13: 9780769501581

Verlag: I.E.E.E.Press, 1999

Inhaltsangabe

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)

Details zur Ausgabe

• Verlag: I.E.E.E.Press
• Erscheinungsdatum: 1999
• Sprache: Englisch
• ISBN 10: 0769501583
• ISBN 13: 9780769501581
• Einband: Taschenbuch
• Anzahl der Seiten: 550
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar