skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ROAD: Directory of Open Access Scholarly Resources remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
SAT-Inspired Higher-Order Eliminations
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]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
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

Citações Citado por
3
Automata theory in nominal sets
Automata theory in nominal sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automata theory in nominal sets

Bojańczyk, Mikołaj ; Klin, Bartek ; Lasota, Sławomir

Logical methods in computer science, 2014-08, Vol.10, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
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

Citações Citado por
5
Parametricity for Nested Types and GADTs
Parametricity for Nested Types and GADTs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parametricity for Nested Types and GADTs

Johann, Patricia ; Ghiorzi, Enrico

Logical methods in computer science, 2021-12, Vol.17, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Handling Algebraic Effects
Handling Algebraic Effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Handling Algebraic Effects

Plotkin, Gordon D ; Pretnar, Matija

Logical methods in computer science, 2013-12, Vol.9, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
7
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
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

Citações Citado por
8
Games Where You Can Play Optimally with Arena-Independent Finite Memory
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

Citações Citado por
9
Higher Order Automatic Differentiation of Higher Order Functions
Higher Order Automatic Differentiation of Higher Order Functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Higher Order Automatic Differentiation of Higher Order Functions

Huot, Mathieu ; Staton, Sam ; Vákár, Matthijs

2022-03

Texto completo disponível

Citações Citado por
10
Dynamic Cantor Derivative Logic
Dynamic Cantor Derivative Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Cantor Derivative Logic

Fernández-Duque, David ; Montacute, Yoàv

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (9.304)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (29.006)
  2. Anais de Congresso  (127)
  3. Recursos Textuais  (5)
  4. Book Chapters  (3)
  5. Resenhas  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (12)
  2. 1995Até2001  (42)
  3. 2002Até2008  (986)
  4. 2009Até2016  (8.632)
  5. Após 2016  (19.470)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (29.139)
  2. Japonês  (459)
  3. Português  (21)
  4. Espanhol  (18)
  5. Turco  (5)
  6. Francês  (3)
  7. Norueguês  (3)
  8. Alemão  (3)
  9. Interlingue  (2)
  10. Croatian  (2)
  11. Lituano  (1)
  12. Russo  (1)
  13. Polonês  (1)
  14. Italiano  (1)
  15. Ucraniano  (1)
  16. Esloveno  (1)
  17. Persa  (1)
  18. Africâner  (1)
  19. Dinamarquês  (1)
  20. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.