start | find | index | login or register | edit
2005-04-17
by earl, 5265 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@]
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6769 days • c'est un vanilla site