Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « computability »
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.
compuitational servers < computability < computability theory  Facettes :

List of bibliographic references indexed by computability

Number of relevant bibliographic references: 20. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000532 (2015-05-20) Emmanuel Jeandel [France] ; Pascal Vanier [France]Hardness of conjugacy, embedding and factorization ofmultidimensional subshifts
000644 (2015-01-27) Emmanuel Jeandel [France]Aperiodic Subshifts of Finite Type on Groups
001B62 (2012-04-23) Emmanuel Jeandel [France] ; Pascal Vanier [France]Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
003318 (2009-11-25) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Daniel Reynaud [France]A computability perspective on self-modifying programs
005429 (2006) G. Bonfante [France] ; M. Kaczmarek [France] ; J.-Y. Marion [France]On Abstract Computer Virology from a Recursion Theoretic Perspective
005931 (2005-09) Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France]Abstract Detection of Computer Viruses
005C58 (2005) Olivier Bournez ; Emmanuel HainryElementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions
006872 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
006873 (2004) Olivier Bournez ; Emmanuel HainryAn analog Characterization of Elementarily Computable Functions Over the Real Numbers
006A24 (2004) Olivier Bournez ; Emmanuel HainryReal Recursive Functions and Real Extensions of Recursive Functions
007353 (2003) Emmanuel HainryFonctions réelles calculables et fonctions R-récursives
008510