skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Proceedings in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Toward an Epistemic-Logical Theory of Categorization
Toward an Epistemic-Logical Theory of Categorization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward an Epistemic-Logical Theory of Categorization

Conradie, Willem ; Frittella, Sabine ; Palmigiano, Alessandra ; Piazzai, Michele ; Tzimoulis, Apostolos ; Wijnberg, Nachoem M.

Electronic Proceedings in Theoretical Computer Science, 2017-07, Vol.251 (Proc. TARK 2017), p.167-186

EPTCS

Texto completo disponível

Citações Citado por
2
Sharing a Library between Proof Assistants: Reaching out to the HOL Family
Sharing a Library between Proof Assistants: Reaching out to the HOL Family
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sharing a Library between Proof Assistants: Reaching out to the HOL Family

Thiré, François

Electronic proceedings in theoretical computer science, 2018-07, Vol.274 (Proc. LFMTP 2018), p.57-71

EPTCS

Texto completo disponível

Citações Citado por
3
Coherent Interaction Graphs
Coherent Interaction Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coherent Interaction Graphs

Nguyen, Lê Thành Dũng ; Seiller, Thomas

Electronic proceedings in theoretical computer science, 2019-04, Vol.292 (Proc. Linearity-TLLA 2018), p.104-117

EPTCS

Texto completo disponível

Citações Citado por
4
The Complexity of Abstract Machines
The Complexity of Abstract Machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Complexity of Abstract Machines

Accattoli, Beniamino

Electronic proceedings in theoretical computer science, 2017-01, Vol.235 (Proc. WPTE 2016), p.1-15

Open Publishing Association

Texto completo disponível

Citações Citado por
5
An Existence Theorem of Nash Equilibrium in Coq and Isabelle
An Existence Theorem of Nash Equilibrium in Coq and Isabelle
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Existence Theorem of Nash Equilibrium in Coq and Isabelle

Le Roux, Stéphane ; Martin-Dorel, Érik ; Smaus, Jan-Georg

Electronic Proceedings in Theoretical Computer Science, 2017-09, Vol.256 (Proc. GandALF 2017), p.46-60

EPTCS

Texto completo disponível

Citações Citado por
6
Extending Nunchaku to Dependent Type Theory
Extending Nunchaku to Dependent Type Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending Nunchaku to Dependent Type Theory

Cruanes, Simon ; Blanchette, Jasmin Christian

EPTCS, 2016-06, Vol.210 (Proc. HaTT 2016), p.3-12

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard

Serwe, Wendelin

Electronic proceedings in theoretical computer science, 2015-11, Vol.196 (Proc. MARS 2015), p.61-147

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Relaxing Exclusive Control in Boolean Games
Relaxing Exclusive Control in Boolean Games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relaxing Exclusive Control in Boolean Games

Belardinelli, Francesco ; Grandi, Umberto ; Herzig, Andreas ; Longin, Dominique ; Lorini, Emiliano ; Novaro, Arianna ; Perrussel, Laurent

Electronic proceedings in theoretical computer science, 2017-07, Vol.251 (Proc. TARK 2017), p.43-56

EPTCS

Texto completo disponível

Citações Citado por
9
A framework for proof certificates in finite state exploration
A framework for proof certificates in finite state exploration
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for proof certificates in finite state exploration

Heath, Quentin ; Miller, Dale

Electronic proceedings in theoretical computer science, 2015-07, Vol.186 (Proc. PxTP 2015), p.11-26

Open Publishing Association

Texto completo disponível

Citações Citado por
10
Proof Diagrams for Multiplicative Linear Logic
Proof Diagrams for Multiplicative Linear Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Diagrams for Multiplicative Linear Logic

Acclavio, Matteo

Electronic proceedings in theoretical computer science, 2017-01, Vol.238 (238), p.11-23

EPTCS

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.   

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

Buscando em bases de dados remotas. Favor aguardar.