skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Revisiting Decidable Bounded Quantification, via Dinaturality
Revisiting Decidable Bounded Quantification, via Dinaturality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Revisiting Decidable Bounded Quantification, via Dinaturality

Laird, James

Electronic Notes in Theoretical Informatics and Computer Science, 2023-02 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

Laird, James

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
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
4
Node Replication: Theory And Practice
Node Replication: Theory And Practice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Node Replication: Theory And Practice

Kesner, Delia ; Peyrot, Loïc ; Ventura, Daniel

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
5
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors

Lionel Vaux

Logical methods in computer science, 2019-07, Vol.15, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Model Checking Spatial Logics for Closure Spaces
Model Checking Spatial Logics for Closure Spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Spatial Logics for Closure Spaces

Ciancia, Vincenzo ; Latella, Diego ; Loreti, Michele ; Massink, Mieke

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
7
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Circular Proofs as Session-Typed Processes: A Local Validity Condition

Derakhshan, Farzaneh ; Pfenning, Frank

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
Differentials and distances in probabilistic coherence spaces
Differentials and distances in probabilistic coherence spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Differentials and distances in probabilistic coherence spaces

Ehrhard, Thomas

Logical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
9
Causal Consistency for Reversible Multiparty Protocols
Causal Consistency for Reversible Multiparty Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Causal Consistency for Reversible Multiparty Protocols

Mezzina, Claudio Antares ; Pérez, Jorge A.

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
Relating Functional and Imperative Session Types
Relating Functional and Imperative Session Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relating Functional and Imperative Session Types

Saffrich, Hannes ; Thiemann, Peter

Logical methods in computer science, 2022-01, Vol.18, Issue 3 [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. Recursos Online (171)
  2. Revistas revisadas por pares (163)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (156)
  2. Book Chapters  (13)
  3. Anais de Congresso  (8)
  4. Dissertações  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (12)
  2. 1993Até1999  (9)
  3. 2000Até2008  (49)
  4. 2009Até2018  (76)
  5. Após 2018  (29)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (15)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.