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

Allemagne251
Martin Mundhenk4
Allemagne Sauf Martin Mundhenk" 247
Martin Mundhenk Sauf Allemagne" 0
Allemagne Et Martin Mundhenk 4
Allemagne Ou Martin Mundhenk 251
Corpus310
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 4.
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
000257 Martin Mundhenk [Allemagne] ; Judy Goldsmith [États-Unis] ; Eric Allender [États-Unis]The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
000261 Martin Mundhenk [Allemagne]NP-hard sets have many hard instances
000295 Martin Mundhenk [Allemagne]On self-reducible sets of low information content

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