start | find | index | login or register | edit
Sonntag, 17. April 2005 link aYago

"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!

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 7061 days • c'est un vanilla site