Model theoretic aspects of computational complexity | IEEE Conference Publication | IEEE Xplore