2005-04-17
by earl, 7158 days ago
"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@]
search
37 active users
- unknown (37)
backlinks (more)
none, yet
recent stores (more)
recent comments
echo earlZstrainYat|tr ZY @.
