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
Proofs for Free in the λΠ-Calculus Modulo Theory
Proofs for Free in the λΠ-Calculus Modulo Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proofs for Free in the λΠ-Calculus Modulo Theory

Traversié, Thomas

Electronic proceedings in theoretical computer science, 2024, Vol.404, p.49-63

Texto completo disponível

Citações Citado por
2
Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti
Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti

Traversié, Thomas

Electronic proceedings in theoretical computer science, 2024, Vol.404, p.35-48

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
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
7
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

Malvone, Vadim

Electronic proceedings in theoretical computer science, 2023, Vol.391, p.63-70

Texto completo disponível

Citações Citado por
8
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
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 (9.140)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (19)
  2. 1996Até2004  (24)
  3. 2005Até2010  (311)
  4. 2011Até2017  (6.821)
  5. Após 2017  (6.050)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (13.205)
  2. Francês  (23)
  3. Japonês  (13)
  4. Norueguês  (4)
  5. Italiano  (2)
  6. Alemão  (2)
  7. Árabe  (1)
  8. Bósnio  (1)
  9. Espanhol  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.