Skip to content
Scan a barcode
Scan
Paperback Logic in Computer Science 2001: 16th Annual IEEE Symposium, 16-19 June 2001, Boston, Massachusetts Book

ISBN: 076951281X

ISBN13: 9780769512815

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

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"

Recommended

Format: Paperback

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

Save to List

Customer Reviews

0 rating
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured