Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004

Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004

by Inc (IEEE The Institute of Electrical and Electronics Engineers

Paperback

$177.71 $212.00 Save 16% Current price is $177.71, Original price is $212. You Save 16%.

Temporarily Out of Stock Online

Eligible for FREE SHIPPING

Overview

Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004 by Inc (IEEE The Institute of Electrical and Electronics Engineers

Six papers based on invited talks are accompanied by 40 contributed papers selected by the program committee for presentation, and titles of eight short presentations. Most of them are extended abstracts, and many are preliminary reports on work in progress. Though they have been read by program committee members, they have not been formally refereed, and much of the research described here can be expected to be reported in more polished and complete form in scholarly journals. Among the topics are transition invariants, vector addition tree automata, a sequent calculus for nominal logic, a computational interpretation of open induction, and a landscape with games in the background. There is no subject index. Annotation © 2004 Book News, Inc., Portland, OR

Product Details

ISBN-13: 9780769521923
Publisher: Wiley
Publication date: 01/01/2004
Pages: 482
Product dimensions: 6.00(w) x 1.25(h) x 9.00(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews