skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Logical Methods In Computer Science 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
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
2
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
3
A duality theoretic view on limits of finite structures: Extended version
A duality theoretic view on limits of finite structures: Extended version
Material Type:
Artigo 		Adicionar ao Meu Espaço

A duality theoretic view on limits of finite structures: Extended version

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca

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
4
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Chouquet, Jules ; Auclair, Lionel Vaux

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

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
Impure Simplicial Complexes: Complete Axiomatization
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

Citações Citado por
6
A coherent differential PCF
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

Citações Citado por
7
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
8
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
9
Generalizing determinization from automata to coalgebras
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) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
10
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
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 (1.386)

Data de Publicação 

De até
Refinar
  1. Antes de2008  (82)
  2. 2008Até2011  (202)
  3. 2012Até2015  (349)
  4. 2016Até2020  (430)
  5. Após 2020  (325)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.386)
  2. Japonês  (73)
  3. Francês  (1)
  4. Norueguês  (1)
  5. Mais opções open sub menu

Nome da Publicação 

  1. Arxiv  (155)
  2. Doaj  (96)
  3. Hal  (36)
  4. arXiv.org  (3)
  5. Logimal Methods In Computer Science  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.