skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

Ahrendt, Wolfgang ; Loulergue, Frédéric ; Wehrheim, Heike

Formal Aspects of Computing, 2024-03, Vol.36 (1), p.1-2, Article 1 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
Bitcoin and the Theory of Computation
Bitcoin and the Theory of Computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bitcoin and the Theory of Computation

V. Sewell, Martin

International journal of computer trends and technology, 2021-10, Vol.69 (10), p.43-46

Texto completo disponível

Citações Citado por
3
Prolegomena to an Operator Theory of Computation
Prolegomena to an Operator Theory of Computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Prolegomena to an Operator Theory of Computation

Burgin, Mark ; Dodig-Crnkovic, Gordana

Information (Basel), 2020-07, Vol.11 (7), p.349 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
4
Complexity vs energy: theory of computation and theoretical physics
Complexity vs energy: theory of computation and theoretical physics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity vs energy: theory of computation and theoretical physics

Manin, Y I

Journal of physics. Conference series, 2014-01, Vol.532 (1), p.12018-15 [Periódico revisado por pares]

Bristol: IOP Publishing

Texto completo disponível

Citações Citado por
5
A Comparison with Theory of Computation and Estimation of Pitch-Angle Diffusion Coefficients from Simulations in Noisy Reduced Magnetohydrodynamic Turbulence
A Comparison with Theory of Computation and Estimation of Pitch-Angle Diffusion Coefficients from Simulations in Noisy Reduced Magnetohydrodynamic Turbulence
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Comparison with Theory of Computation and Estimation of Pitch-Angle Diffusion Coefficients from Simulations in Noisy Reduced Magnetohydrodynamic Turbulence

Pleumpreedaporn, Chanidaporn ; Snodin, Andrew P. ; Moore, Elvin J.

WSEAS Transactions Mathematics, 2022-05, Vol.21, p.271-278

Texto completo disponível

Citações Citado por
6
CoqQ: Foundational Verification of Quantum Programs
CoqQ: Foundational Verification of Quantum Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

CoqQ: Foundational Verification of Quantum Programs

Zhou, Li ; Barthe, Gilles ; Strub, Pierre-Yves ; Liu, Junyi ; Ying, Mingsheng

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.833-865, Article 29 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Enriched Presheaf Model of Quantum FPC
Enriched Presheaf Model of Quantum FPC
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enriched Presheaf Model of Quantum FPC

Tsukada, Takeshi ; Asada, Kazuyuki

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.362-392, Article 13 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
With a Few Square Roots, Quantum Computing Is as Easy as Pi
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Material Type:
Artigo 		Adicionar ao Meu Espaço

With a Few Square Roots, Quantum Computing Is as Easy as Pi

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; Sabry, Amr

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.546-574, Article 19 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers

Ceragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe ; Tedeschi, Gabriele

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1269-1297, Article 43 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Theory of computation of multidimensional entropy with an application to the monomer–dimer problem
Theory of computation of multidimensional entropy with an application to the monomer–dimer problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of computation of multidimensional entropy with an application to the monomer–dimer problem

Friedland, Shmuel ; Peled, Uri N.

Advances in applied mathematics, 2005-04, Vol.34 (3), p.486-522 [Periódico revisado por pares]

Elsevier Inc

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (372.260)
  2. Anais de Congresso  (1.641)
  3. magazinearticle  (1.392)
  4. Resenhas  (871)
  5. Reports  (246)
  6. Book Chapters  (25)
  7. Livros  (8)
  8. Recursos Textuais  (6)
  9. Web Resources  (5)
  10. Newsletter Articles  (3)
  11. Conjunto de Dados  (3)
  12. Documentos Governamentais  (2)
  13. Newspapers  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1958  (1.612)
  2. 1958Até1973  (1.851)
  3. 1974Até1989  (5.650)
  4. 1990Até2006  (39.812)
  5. Após 2006  (327.598)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (372.984)
  2. Japonês  (36.275)
  3. Francês  (1.736)
  4. Espanhol  (1.527)
  5. Português  (1.321)
  6. Alemão  (835)
  7. Norueguês  (353)
  8. Russo  (277)
  9. Chinês  (130)
  10. Tcheco  (112)
  11. Coreano  (95)
  12. Turco  (86)
  13. Italiano  (84)
  14. Polonês  (78)
  15. Croatian  (71)
  16. Eslovaco  (69)
  17. Ucraniano  (52)
  18. Árabe  (45)
  19. Lituano  (41)
  20. Letão  (38)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.