10 Resultados 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:
Journal Of Logic And Computation
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Complete Axiomatization of Discrete-Measure Almost-Everywhere QuantificationCruz-Filipe, Luís ; Rasga, João ; Sernadas, Amílcar ; Sernadas, CristinaJournal of logic and computation, 2008-12, Vol.18 (6), p.885-911 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Call-by-Value -calculus and LJQDyckhoff, R. ; Lengrand, S.Journal of logic and computation, 2007-12, Vol.17 (6), p.1109-1134 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
Proof Systems for Institutional LogicDiaconescu, RăzvanJournal of logic and computation, 2006-04, Vol.16 (3), p.339-357 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Persuasion and Value in Legal ArgumentBench-Capon, Trevor ; Atkinson, Katie ; Chorley, AlisonJournal of logic and computation, 2005-12, Vol.15 (6), p.1075-1097 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution PropagationDyckhoff, Roy ; Urban, ChristianJournal of logic and computation, 2003-10, Vol.13 (5), p.689-706 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Explicit Substitutions and ReducibilityHerbelin, H.Journal of logic and computation, 2001-06, Vol.11 (3), p.431-451 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 7 |
Material Type: Resenha
|
|
Book review. Twenty-Five Years of Constructive Type Theory. G Sambin, J SmithThompson, SJournal of Logic and Computation, 2000, Vol.10 (2), p.315-317 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Object calculi in linear logicBugliesi, M ; Delzanno, G ; Liquori, L ; Martelli, MJournal of logic and computation, 2000-02, Vol.10 (1), p.75-104 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Investigating ZHenson, MC ; Reeves, SJournal of logic and computation, 2000-02, Vol.10 (1), p.43-73 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Agents in proactive environmentsGabbay, DM ; Nossum, R ; Thielscher, MJournal of logic and computation, 1999-02, Vol.9 (1), p.25-45 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Computer Science (8)
- Computer Science, Theory & Methods (8)
- Science & Technology (8)
- Technology (8)
- Logic (8)
- Science & Technology - Other Topics (8)
- Strong Normalization (2)
- Argumentation (1)
- Explicit Substitutions (1)
- Computation And Language (1)
- Complete Axiomatization (1)
- Critical Questions (1)
- Institutions (1)
- Argumentation Schemes (1)
- Argumentation Frameworks (1)
- Almost-Everywhere Logic (1)
- Executable Temporal Logic (1)
- Generalized Quantification (1)
- Explicit Substitution (1)
- Agent Programming (1)
-
Mais opções
Data de Publicação
- Antes de1999 (1)
- 1999Até1999 (1)
- 2000Até2000 (3)
- 2001Até2003 (2)
- Após 2003 (4)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 