skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Nguyên, Lê Thành Dũng ; Straßburger, Lutz

Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

2
Adding Negation to Lambda Mu
Material Type:
Artigo
Adicionar ao Meu Espaço

Adding Negation to Lambda Mu

van Bakel, Steffen

Logical methods in computer science, 2023-05, Vol.19, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

3
Enumerating Independent Linear Inferences
Material Type:
Artigo
Adicionar ao Meu Espaço

Enumerating Independent Linear Inferences

Das, Anupam ; Rice, Alex

Logical methods in computer science, 2023-05, Vol.19, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

4
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Material Type:
Artigo
Adicionar ao Meu Espaço

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

Guha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, Martin

Logical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

5
A coherent differential PCF
Material Type:
Artigo
Adicionar ao Meu Espaço

A coherent differential PCF

Ehrhard, Thomas

Logical methods in computer science, 2023-10, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

6
SAT-Inspired Higher-Order Eliminations
Material Type:
Artigo
Adicionar ao Meu Espaço

SAT-Inspired Higher-Order Eliminations

Blanchette, Jasmin ; Vukmirović, Petar

Logical Methods in Computer Science, 2023-05, Vol.19, Issue 2 [Periódico revisado por pares]

Centre pour la Communication Scientifique Directe (CCSD)

Texto completo disponível

7
Impure Simplicial Complexes: Complete Axiomatization
Material Type:
Artigo
Adicionar ao Meu Espaço

Impure Simplicial Complexes: Complete Axiomatization

Randrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, Roman

Logical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

8
Generalizing determinization from automata to coalgebras
Material Type:
Artigo
Adicionar ao Meu Espaço

Generalizing determinization from automata to coalgebras

Silva, Alexandra ; Bonchi, Filippo ; Bonsangue, Marcello ; Rutten, Jan

Logical methods in computer science, 2013-03, Vol.9, Issue 1 (1), p.1-27 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

9
Games Where You Can Play Optimally with Arena-Independent Finite Memory
Material Type:
Artigo
Adicionar ao Meu Espaço

Games Where You Can Play Optimally with Arena-Independent Finite Memory

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre

Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

10
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Material Type:
Artigo
Adicionar ao Meu Espaço

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Kapur, Deepak

Logical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (247.403)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (238.436)
  2. Book Chapters  (45.193)
  3. Anais de Congresso  (11.708)
  4. Livros  (2.938)
  5. magazinearticle  (428)
  6. Resenhas  (278)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (931)
  2. 1960Até1975  (3.693)
  3. 1976Até1991  (16.913)
  4. 1992Até2008  (81.838)
  5. Após 2008  (199.844)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (298.819)
  2. Ndongo  (795)
  3. Japonês  (731)
  4. Russo  (554)
  5. Chinês  (511)
  6. Alemão  (407)
  7. Português  (353)
  8. Francês  (300)
  9. Espanhol  (126)
  10. Ucraniano  (85)
  11. Árabe  (62)
  12. Indonésio  (59)
  13. Norueguês  (53)
  14. Tcheco  (47)
  15. Coreano  (40)
  16. Africâner  (33)
  17. Polonês  (31)
  18. Turco  (30)
  19. Croatian  (24)
  20. Italiano  (12)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.