Lower bounds for RAMs and quantifier elimination
type: Item
instance of: scholarly article
title: Lower bounds for RAMs and quantifier elimination
zbMATH Open document ID: 1293.68123
DOI: 10.1145/2488608.2488710
author: Miklós Ajtai
publication date: 2014-08-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1306.0153
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6327015
zbMATH Keywords: RAM
zbMATH Keywords: diagonalization
zbMATH Keywords: lower bounds
zbMATH Keywords: nondeterministic computation
zbMATH Keywords: quantifier elimination
MaRDI profile type: Publication
OpenAlex ID: W2012518989
arXiv ID: 1306.0153
published in: Proceedings of the forty-eighth annual ACM symposium on Theory of Computing
description: scientific article; zbMATH DE number 6327015