"On the Unusual Effectiveness of Logic in Computer Science" (2001) by Halpern, Harper, Immermann, Kolaitis, Vardi and Vianu. Contains individual sections on: descriptive complexity, logic as a database query language, type theory in programming language research, reasoning about knowledge, and automated verification of semiconductor design. [via LtU@]
no comments
Please log in (you may want to register first) to post comments!
search
69 active users
- unknown (69)
backlinks (more)
none, yet
recent stores (more)
recent comments
echo earlZstrainYat|tr ZY @.
