skip to main content

Idioma:

Simulation of simultaneous safe recursion over an arbitrary structure

Xirotiri, Olga

Information processing letters, 2006-07, Vol.99 (2), p.72-81 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

Enviar para

Título:
Simulation of simultaneous safe recursion over an arbitrary structure
Autor: Xirotiri, Olga
Assuntos: Algorithmics. Computability. Computer arithmetics ; Applied sciences ; Automata. Abstract machines. Turing machines ; BSS-machines ; Computational complexity ; Computer programming ; Computer science; control theory; systems ; Exact sciences and technology ; Projective Turing machines ; Safe recursion ; Simulation ; Studies ; Theoretical computing ; Theory of computation
É parte de: Information processing letters, 2006-07, Vol.99 (2), p.72-81
Descrição: In [O. Bournez, F. Cucker, P.J. de Naurois, J.Y. Marion, Computability over an arbitrary structure. Sequential and parallel polynomial time, in: Lecture Notes in Computer Science, vol. 2620, Springer, Berlin, 2003, pp. 185–199] the class of safe recursive functions over an arbitrary structure is defined. A question of simulation of the simultaneous safe recursion by single safe recursion was set. We prove that this simulation is feasible using bounded coding and decoding functions.
Editor: Amsterdam: Elsevier B.V
Idioma: Inglês

Links

View record in Pascal Francis

Voltar para lista de resultados

Ir para página anterior

Anterior Resultado 5 Avançar Ir para próxima página

Ir para próxima página

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento