Linear recursive functions

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2007

Autores

Sandra Alves (Autor) FCUP; Maribel Fernandez (Autor) Outra; Mario Florido (Autor) FCUP; Ian Mackie (Autor) Outra

Ata de Conferência Internacional

Título: Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY

Páginas: 182-195

Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof

Cachan, FRANCE, JUN 21-22, 2007

Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 8 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-004-EJP

DOI: 10.1007/978-3-540-73147-4_9

Abstract (EN): With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is essential in order to obtain a Turing-complete computation model. However, erasing and copying don't need to be explicitly included in Turing-complete computation models: in this paper we show that the class of partial recursive functions that are syntactically linear (that is, partial recursive functions where no argument is erased or copied) is Turing-complete.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 14