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: Base de dados/Biblioteca: ROAD: Directory of Open Access Scholarly Resources remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Constructor Theory as Process Theory
Constructor Theory as Process Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constructor Theory as Process Theory

Gogioso, Stefano ; Wang-Maścianica, Vincent ; Waseem, Muhammad Hamza ; Scandolo, Carlo Maria ; Coecke, Bob

Electronic proceedings in theoretical computer science, 2023, Vol.397, p.137-151

Texto completo disponível

Citações Citado por
2
A Theory of Bounded Inductive Rationality
A Theory of Bounded Inductive Rationality
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Theory of Bounded Inductive Rationality

Oesterheld, Caspar ; Demski, Abram ; Conitzer, Vincent

Electronic proceedings in theoretical computer science, 2023, Vol.379, p.421-440

Texto completo disponível

Citações Citado por
3
String Diagrammatic Electrical Circuit Theory
String Diagrammatic Electrical Circuit Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

String Diagrammatic Electrical Circuit Theory

Boisseau, Guillaume ; Sobociński, Paweł

Electronic proceedings in theoretical computer science, 2022, Vol.372, p.178-191

Texto completo disponível

Citações Citado por
4
Quantum Natural Language Processing on Near-Term Quantum Computers
Quantum Natural Language Processing on Near-Term Quantum Computers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantum Natural Language Processing on Near-Term Quantum Computers

Meichanetzidis, Konstantinos ; Gogioso, Stefano ; de Felice, Giovanni ; Chiappori, Nicolò ; Toumi, Alexis ; Coecke, Bob

Electronic proceedings in theoretical computer science, 2021, Vol.340, p.213-229

Texto completo disponível

Citações Citado por
5
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory

Ozawa, Masanao

Electronic proceedings in theoretical computer science, 2023, Vol.394, p.1-12

Texto completo disponível

Citações Citado por
6
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses

Gamboa, Ruben ; Manolios, Panagiotis ; Smith, Eric ; Thompson, Kyle

Electronic proceedings in theoretical computer science, 2023, Vol.393, p.82-93

Texto completo disponível

Citações Citado por
7
Computer Assisted Proofs and Automated Methods in Mathematics Education
Computer Assisted Proofs and Automated Methods in Mathematics Education
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computer Assisted Proofs and Automated Methods in Mathematics Education

Dana-Picard, Thierry Noah

Electronic proceedings in theoretical computer science, 2023, Vol.375, p.2-23

Texto completo disponível

Citações Citado por
8
Structured and Decorated Cospans from the Viewpoint of Double Category Theory
Structured and Decorated Cospans from the Viewpoint of Double Category Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Structured and Decorated Cospans from the Viewpoint of Double Category Theory

Patterson, Evan

Electronic proceedings in theoretical computer science, 2023, Vol.397, p.210-225

Texto completo disponível

Citações Citado por
9
DisCoPy: Monoidal Categories in Python
DisCoPy: Monoidal Categories in Python
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DisCoPy: Monoidal Categories in Python

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

Electronic proceedings in theoretical computer science, 2021, Vol.333, p.183-197

Texto completo disponível

Citações Citado por
10
Duality of Session Types: The Final Cut
Duality of Session Types: The Final Cut
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Duality of Session Types: The Final Cut

Gay, Simon J. ; Thiemann, Peter ; Vasconcelos, Vasco T.

Electronic proceedings in theoretical computer science, 2020, Vol.314, p.23-33

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 (3.453)

Data de Publicação 

De até
Refinar
  1. Antes de2007  (4)
  2. 2007Até2010  (273)
  3. 2011Até2014  (228)
  4. 2015Até2019  (3.462)
  5. Após 2019  (1.145)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.107)
  2. Japonês  (8)
  3. Francês  (7)
  4. Árabe  (1)
  5. Norueguês  (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.