Resultados de 11 a 20 de 98 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Theoretical Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Artigo
|
|
Böhm theorem and Böhm trees for the Λ μ -calculusSaurin, AlexisTheoretical computer science, 2012-06, Vol.435, p.106-138 [Periódico revisado por pares]ElsevierTexto completo disponível |
| 12 |
Material Type: Artigo
|
|
A prismoid framework for languages with resourcesKesner, Delia ; Renaud, FabienTheoretical computer science, 2011-08, Vol.412 (37), p.4867-4892 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Computational ludicsTerui, KazushigeTheoretical computer science, 2011-04, Vol.412 (20), p.2048-2071 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 14 |
Material Type: Artigo
|
|
Typed event structures and the linear π -calculusVaracca, Daniele ; Yoshida, NobukoTheoretical computer science, 2010-04, Vol.411 (19), p.1949-1973 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 15 |
Material Type: Artigo
|
|
On the computational power of BlenXRomanel, Alessandro ; Priami, CorradoTheoretical computer science, 2010-01, Vol.411 (2), p.542-565 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 16 |
Material Type: Artigo
|
|
CPS-translation as adjointFujita, Ken-etsuTheoretical computer science, 2010-01, Vol.411 (2), p.324-340 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 17 |
Material Type: Artigo
|
|
Focusing and polarization in linear, intuitionistic, and classical logicsLiang, Chuck ; Miller, DaleTheoretical computer science, 2009-11, Vol.410 (46), p.4747-4768 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 18 |
Material Type: Artigo
|
|
Prime algebraicityWinskel, GlynnTheoretical computer science, 2009-09, Vol.410 (41), p.4160-4168 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 19 |
Material Type: Artigo
|
|
Machine semanticsHines, PeterTheoretical computer science, 2008-12, Vol.409 (1), p.1-23 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 20 |
Material Type: Artigo
|
|
Information systems revisited — the general continuous caseSpreen, Dieter ; Xu, Luoshan ; Mao, XuxinTheoretical computer science, 2008-10, Vol.405 (1), p.176-187 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
Resultados de 11 a 20 de 98 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science (95)
- Computer Science, Theory & Methods (95)
- Science & Technology (95)
- Technology (95)
- Exact Sciences And Technology (62)
- Applied Sciences (55)
- Computer Science; Control Theory; Systems (55)
- Theoretical Computing (50)
- Mathematics (34)
- Sciences And Techniques Of General Use (32)
- Logic And Foundations (25)
- Mathematical Logic, Foundations, Set Theory (25)
- General Logic (23)
- Algorithmics. Computability. Computer Arithmetics (22)
- Programming Theory (17)
- Language Theory And Syntactical Analysis (16)
- Software (13)
- Programming Languages (10)
- Miscellaneous (10)
- Algebra (8)
-
Mais opções
Data de Publicação
- Antes de1990 (6)
- 1990Até1995 (17)
- 1996Até2001 (21)
- 2002Até2008 (37)
- Após 2008 (18)
-
Mais opções
Base de Dados/Biblioteca
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 