skip to main content
Idioma:
Mostrar Somente
Refinado por: tipo de recurso: Reports remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti
Material Type:
Report 		Adicionar ao Meu Espaço

Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti

Felicissimo, Thiago ; Winterhalter, Théo

2024

Sem texto completo

Citações Citado por
2
Symbolic Model Construction for Saturated Constrained Horn Clauses
Symbolic Model Construction for Saturated Constrained Horn Clauses
Material Type:
Report 		Adicionar ao Meu Espaço

Symbolic Model Construction for Saturated Constrained Horn Clauses

Bromberger, Martin ; Leutgeb, Lorenz ; Weidenbach, Christoph

arXiv 2023

Sem texto completo

Citações Citado por
3
Porting Coq Scripts to the Mathematical Components Library Version 2
Porting Coq Scripts to the Mathematical Components Library Version 2
Material Type:
Report 		Adicionar ao Meu Espaço

Porting Coq Scripts to the Mathematical Components Library Version 2

Affeldt, Reynald ; Bertot, Yves ; Cohen, Cyril ; Roux, Pierre ; Sakaguchi, Kazuhiko ; Tassi, Enrico

2023

Sem texto completo

Citações Citado por
4
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
Material Type:
Report 		Adicionar ao Meu Espaço

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning

Bromberger, Martin ; Jain, Chaahat ; Weidenbach, Christoph

arXiv 2023

Sem texto completo

Citações Citado por
5
Aeneas: Rust Verification by Functional Translation
Aeneas: Rust Verification by Functional Translation
Material Type:
Report 		Adicionar ao Meu Espaço

Aeneas: Rust Verification by Functional Translation

Ho, Son ; Protzenko, Jonathan ; Fromherz, Aymeric

2023

Sem texto completo

Citações Citado por
6
SCL(FOL) Revisited
SCL(FOL) Revisited
Material Type:
Report 		Adicionar ao Meu Espaço

SCL(FOL) Revisited

Bromberger, Martin ; Schwarz, Simon ; Weidenbach, Christoph

arXiv 2023

Sem texto completo

Citações Citado por
7
Integration in Cones
Integration in Cones
Material Type:
Report 		Adicionar ao Meu Espaço

Integration in Cones

Ehrhard, Thomas ; Geoffroy, Guillaume

2022

Sem texto completo

Citações Citado por
8
Some Properties of the Nash Equilibrium in 2 × 2 Zero-Sum Games
Some Properties of the Nash Equilibrium in 2 × 2 Zero-Sum Games
Material Type:
Report 		Adicionar ao Meu Espaço

Some Properties of the Nash Equilibrium in 2 × 2 Zero-Sum Games

Sun, Ke

2022

Sem texto completo

Citações Citado por
9
Formalisation et implémentation des propositions strictes dans MetaCoq
Formalisation et implémentation des propositions strictes dans MetaCoq
Material Type:
Report 		Adicionar ao Meu Espaço

Formalisation et implémentation des propositions strictes dans MetaCoq

Leray, Yann

2022

Sem texto completo

Citações Citado por
10
Polarized Linear Logic with Fixpoints
Polarized Linear Logic with Fixpoints
Material Type:
Report 		Adicionar ao Meu Espaço

Polarized Linear Logic with Fixpoints

Ehrhard, Thomas ; Jafarrahmani, Farzad ; Saurin, Alexis

2022

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (9.100)
  2. Revistas revisadas por pares (7)

Data de Publicação 

De até
Refinar
  1. Antes de1963  (114)
  2. 1963Até1977  (4.047)
  3. 1978Até1992  (19.640)
  4. 1993Até2008  (23.496)
  5. Após 2008  (16.167)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (54.281)
  2. Alemão  (6.342)
  3. Francês  (3.652)
  4. Português  (41)
  5. Italiano  (12)
  6. Coreano  (12)
  7. Espanhol  (8)
  8. Sueco  (6)
  9. Russo  (3)
  10. Estoniano  (2)
  11. Interlingue  (2)
  12. Chinês  (2)
  13. Africâner  (2)
  14. Tcheco  (1)
  15. Norueguês  (1)
  16. Bielo-russo  (1)
  17. Catalão  (1)
  18. Bokmål, Norwegian  (1)
  19. Holandês  (1)
  20. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.