Hard instances of algorithms and proof systems

"Vegeu el resum a l'inici del document del fitxer adjunt".

Detalles Bibliográficos
Autores: Chen, Yijia, Flum, Jörg, Müller, Moritz
Tipo de recurso: artículo
Fecha de publicación:2011
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:77023
Acceso en línea:https://ddd.uab.cat/record/77023
Access Level:acceso abierto
Palabra clave:Demostració, Teoria de la
Algorismes
Descripción
Sumario:"Vegeu el resum a l'inici del document del fitxer adjunt".