Logic in Computer Science 2001: 16th Annual IEEE Symposium, 16-19 June 2001, Boston, Massachusetts

By Symposium on Logic in Computer Science

Proceedings of a June 2001 symposium. Topics include a decision procedure for an extensional theory of arrays, semantics of name and value passing, the decision problem for the guarded fragment with transitivity, a universal characterization of the closed Euclidean interval, a second-order system fo"

• Format: Paperback
• Language: English
• ISBN: 076951281X
• ISBN13: 9780769512815
• Release Date: January 2001
• Publisher: IEEE
• Weight: 2.30 lbs.
• Dimensions: 10.5" x 1.0" x 8.3"