skip to main content
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover idioma: Dinamarquês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Exponential Lower Bound for Static Semi-algebraic Proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

Exponential Lower Bound for Static Semi-algebraic Proofs

Grigoriev, Dima ; Hirsch, Edward A. ; Pasechnik, Dmitrii V.

Automata, Languages and Programming, p.257-268 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.