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: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Binary Non-Termination in Term Rewriting and Logic Programming
Binary Non-Termination in Term Rewriting and Logic Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Binary Non-Termination in Term Rewriting and Logic Programming

Payet, Étienne

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, Elena

Electronic Proceedings in Theoretical Computer Science, 2018, Vol.EPTCS 271

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Continuous R-valuations
Continuous R-valuations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Continuous R-valuations

Goubault-Larrecq, Jean ; Jia, Xiaodong

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Is CADP an Applicable Formal Method?
Is CADP an Applicable Formal Method?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Is CADP an Applicable Formal Method?

Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu ; Serwe, Wendelin

arXiv.org, 2021

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

De Smet, Lennert ; Pedro Zuidberg Dos Martires ; Manhaeve, Robin ; Marra, Giuseppe ; Kimmig, Angelika ; De Raedt, Luc

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Using Pi-Calculus Names as Locks
Using Pi-Calculus Names as Locks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Pi-Calculus Names as Locks

Hirschkoff, Daniel ; Prebet, Enguerrand

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Super Exponentials in Linear Logic
Super Exponentials in Linear Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Super Exponentials in Linear Logic

Bauer, Esaïe ; Laurent, Olivier

Electronic proceedings in theoretical computer science, 2021, Vol.353, p.50-73

Texto completo disponível

Citações Citado por
8
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond

Vilmart, Renaud

Electronic proceedings in theoretical computer science, 2019, Vol.287 (Proc. QPL 2018), p.313-344

Open Publishing Association

Texto completo disponível

Citações Citado por
9
A Machine-Checked Proof of the Odd Order Theorem
A Machine-Checked Proof of the Odd Order Theorem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Machine-Checked Proof of the Odd Order Theorem

Gonthier, Georges ; Asperti, Andrea ; Avigad, Jeremy ; Bertot, Yves ; Cohen, Cyril ; Garillot, François ; Le Roux, Stéphane ; Mahboubi, Assia ; O’Connor, Russell ; Ould Biha, Sidi ; Pasca, Ioana ; Rideau, Laurence ; Solovyev, Alexey ; Tassi, Enrico ; Théry, Laurent

Interactive Theorem Proving, p.163-179 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Revisiting Postulates for Inconsistency Measures
Revisiting Postulates for Inconsistency Measures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Revisiting Postulates for Inconsistency Measures

Besnard, Philippe

Logics in Artificial Intelligence, p.383-396 [Periódico revisado por pares]

Cham: Springer International Publishing

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

Data de Publicação 

De até
Refinar
  1. Antes de1981  (390)
  2. 1981Até1990  (4.653)
  3. 1991Até2000  (20.482)
  4. 2001Até2011  (53.254)
  5. Após 2011  (34.351)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (111.325)
  2. Japonês  (2.610)
  3. Chinês  (60)
  4. Russo  (59)
  5. Espanhol  (24)
  6. Português  (21)
  7. Francês  (13)
  8. Norueguês  (11)
  9. Turco  (8)
  10. Sueco  (1)
  11. Árabe  (1)
  12. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.