start | find | index | login or register | edit
by earl, 5705 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 @. • esa3 • online for 7209 days • c'est un vanilla site