skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv remover Nome da Publicação: Electronic Proceedings In Theoretical Computer Science, Eptcs remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rapid Recovery for Systems with Scarce Faults
Rapid Recovery for Systems with Scarce Faults
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rapid Recovery for Systems with Scarce Faults

Huang, Chung-Hao ; Peled, Doron ; Schewe, Sven ; Wang, Farn

Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.15-28

Open Publishing Association

Texto completo disponível

Citações Citado por
2
A Gentle Introduction to Epistemic Planning: The DEL Approach
A Gentle Introduction to Epistemic Planning: The DEL Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Gentle Introduction to Epistemic Planning: The DEL Approach

Bolander, Thomas

Electronic proceedings in theoretical computer science, 2017-03, Vol.243 (Proc. M4M9 2017), p.1-22

Open Publishing Association

Texto completo disponível

Citações Citado por
3
Quantum Algorithms for Compositional Natural Language Processing
Quantum Algorithms for Compositional Natural Language Processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Algorithms for Compositional Natural Language Processing

Zeng, William ; Coecke, Bob

Electronic proceedings in theoretical computer science, 2016-08, Vol.221 (Proc. SLPCS 2016), p.67-75

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Towards Compositional Distributional Discourse Analysis
Towards Compositional Distributional Discourse Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Compositional Distributional Discourse Analysis

Coecke, Bob ; de Felice, Giovanni ; Marsden, Dan ; Toumi, Alexis

Electronic proceedings in theoretical computer science, 2018-11, Vol.283 (Proc. CAPNS 2018), p.1-12

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Verifying the Smallest Interesting Colour Code with Quantomatic
Verifying the Smallest Interesting Colour Code with Quantomatic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying the Smallest Interesting Colour Code with Quantomatic

Garvie, Liam ; Duncan, Ross

Electronic proceedings in theoretical computer science, 2018-02, Vol.266 (Proc. QPL 2017), p.147-163

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Regular omega-Languages with an Informative Right Congruence
Regular omega-Languages with an Informative Right Congruence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Regular omega-Languages with an Informative Right Congruence

Angluin, Dana ; Fisman, Dana

Electronic proceedings in theoretical computer science, 2018-09, Vol.277 (Proc. GandALF 2018), p.265-279

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Transformation of Turing Machines into Context-Dependent Fusion Grammars
Transformation of Turing Machines into Context-Dependent Fusion Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Transformation of Turing Machines into Context-Dependent Fusion Grammars

Lye, Aaron

Electronic proceedings in theoretical computer science, 2019-12, Vol.309 (Proc. GCM 2019), p.53-70

Open Publishing Association

Texto completo disponível

Citações Citado por
8
A New Modal Framework for Epistemic Logic
A New Modal Framework for Epistemic Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A New Modal Framework for Epistemic Logic

Wang, Yanjing

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

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Deeply Integrating C11 Code Support into Isabelle/PIDE
Deeply Integrating C11 Code Support into Isabelle/PIDE
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deeply Integrating C11 Code Support into Isabelle/PIDE

Tuong, Frédéric ; Wolff, Burkhart

Electronic proceedings in theoretical computer science, 2019-12, Vol.310 (Proc. F-IDE 2019), p.13-28

Open Publishing Association

Texto completo disponível

Citações Citado por
10
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

Ehle, Arno ; Hundeshagen, Norbert ; Lange, Martin

Electronic proceedings in theoretical computer science, 2018-03, Vol.267 (Proc. ThEdu 2017), p.19-37

Open Publishing Association

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.