Auteurs
Keywords (en)
Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Jacobo Torán1
Program complexity3
Jacobo Torán Sauf Program complexity" 0
Program complexity Sauf Jacobo Torán" 2
Jacobo Torán Et Program complexity 1
Jacobo Torán Ou Program complexity 3
Corpus310
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000229 Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne]Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024