Sorted - Verifying the Problem of the Dutch National Flag in Agda.

Wouter Swierstra

Published in: J. Funct. Program. (2011)

Keyphrases

united states
model checking
neural network
trade off
south african
real time
real world
artificial intelligence
information systems
knowledge base
cooperative
computational complexity
medical images
homeland security
information infrastructure
health services