A sorting network in bounded arithmetic.

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

databases
computer networks
network design
peer to peer
communication networks
mobile communication
database
evolutionary algorithm
first order logic
complex networks
network topologies