skip to main content
Idioma:
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
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
2
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
3
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
4
Towards an Independent Version of Tarski's System of Geometry
Towards an Independent Version of Tarski's System of Geometry
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards an Independent Version of Tarski's System of Geometry

Boutry, Pierre ; Kastenbaum, Stéphane ; Saintier, Clément

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.73-84

Texto completo disponível

Citações Citado por
5
Diegetic Representation of Feedback in Open Games
Diegetic Representation of Feedback in Open Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Diegetic Representation of Feedback in Open Games

Capucci, Matteo

Electronic proceedings in theoretical computer science, 2023, Vol.380, p.145-158

Texto completo disponível

Citações Citado por
6
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Behr, Nicolas

Electronic proceedings in theoretical computer science, 2019, Vol.309 (Proc. GCM 2019), p.23-52

Open Publishing Association

Texto completo disponível

Citações Citado por
7
While Loops in Coq
While Loops in Coq
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

While Loops in Coq

Nowak, David ; Rusu, Vlad

Electronic proceedings in theoretical computer science, 2023, Vol.389, p.96-109

Texto completo disponível

Citações Citado por
8
SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0
SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0

Christian Leyh ; Thomas Schäffer ; Katja Bley ; Sven Forstenhäusler

Annals of Computer Science and Information Systems, 2016, Vol.8, p.1297-1302 [Periódico revisado por pares]

Polish Information Processing Society

Texto completo disponível

Citações Citado por
9
Promonads and String Diagrams for Effectful Categories
Promonads and String Diagrams for Effectful Categories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Promonads and String Diagrams for Effectful Categories

Román, Mario

Electronic proceedings in theoretical computer science, 2023, Vol.380, p.344-361

Texto completo disponível

Citações Citado por
10
Diagrammatic Differentiation for Quantum Machine Learning
Diagrammatic Differentiation for Quantum Machine Learning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Diagrammatic Differentiation for Quantum Machine Learning

Toumi, Alexis ; Yeung, Richie ; de Felice, Giovanni

Electronic proceedings in theoretical computer science, 2021, Vol.343, p.132-144

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.002)

Data de Publicação 

De até
Refinar
  1. Antes de2011  (269)
  2. 2011Até2013  (142)
  3. 2014Até2016  (578)
  4. 2017Até2020  (817)
  5. Após 2020  (647)
  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.