skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Online Journals Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
About the unification type of K + Box Box false
About the unification type of K + Box Box false
Material Type:
Artigo 		Adicionar ao Meu Espaço

About the unification type of K + Box Box false

Balbiani, Philippe ; Gencer, Cigdem ; Rostamigiv, Maryam ; Tinchev, Tinko

Annals of mathematics and artificial intelligence, 2021-09, Vol.90 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
2
Frama-C: A software analysis perspective
Frama-C: A software analysis perspective
Material Type:
Artigo 		Adicionar ao Meu Espaço

Frama-C: A software analysis perspective

Kirchner, Florent ; Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien ; Yakobowski, Boris

Formal aspects of computing, 2015-05, Vol.27 (3), p.573-609 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
3
Learning any memory-less discrete semantics for dynamical systems represented by logic programs
Learning any memory-less discrete semantics for dynamical systems represented by logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; Inoue, Katsumi

Machine learning, 2022-10, Vol.111 (10), p.3593-3670 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
SL-COMP: competition of solvers for separation logic
SL-COMP: competition of solvers for separation logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

SL-COMP: competition of solvers for separation logic

Sighireanu, Mihaela

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.895-903 [Periódico revisado por pares]

Heidelberg: Springer Nature B.V

Texto completo disponível

Citações Citado por
5
Communication Pattern Logic: Epistemic and Topological Views
Communication Pattern Logic: Epistemic and Topological Views
Material Type:
Artigo 		Adicionar ao Meu Espaço

Communication Pattern Logic: Epistemic and Topological Views

Castañeda, Armando ; van Ditmarsch, Hans ; Rosenblueth, David A. ; Velázquez, Diego A.

Journal of philosophical logic, 2023-10, Vol.52 (5), p.1445-1473 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
6
Logical reduction of metarules
Logical reduction of metarules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical reduction of metarules

Cropper, Andrew ; Tourret, Sophie

Machine learning, 2020-07, Vol.109 (7), p.1323-1369 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
7
Non-termination in Term Rewriting and Logic Programming
Non-termination in Term Rewriting and Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non-termination in Term Rewriting and Logic Programming

Payet, Etienne

Journal of automated reasoning, 2024-03, Vol.68 (1), p.4, Article 4 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
8
Extending a brainiac prover to lambda-free higher-order logic
Extending a brainiac prover to lambda-free higher-order logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, Petar ; Blanchette, Jasmin ; Cruanes, Simon ; Schulz, Stephan

International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.67-87 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A Formally Verified Compiler Back-end
A Formally Verified Compiler Back-end
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formally Verified Compiler Back-end

Leroy, Xavier

Journal of automated reasoning, 2009-12, Vol.43 (4), p.363-446 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
10
SCL(EQ): SCL for First-Order Logic with Equality
SCL(EQ): SCL for First-Order Logic with Equality
Material Type:
Artigo 		Adicionar ao Meu Espaço

SCL(EQ): SCL for First-Order Logic with Equality

Leidinger, Hendrik ; Weidenbach, Christoph

Journal of automated reasoning, 2023-09, Vol.67 (3), p.22, Article 22 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (108.435)
  2. Resenhas  (659)
  3. magazinearticle  (348)
  4. Reports  (81)
  5. Anais de Congresso  (33)
  6. Book Chapters  (3)
  7. Recursos Textuais  (2)
  8. Livros  (2)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (52)
  2. 1964Até1978  (352)
  3. 1979Até1993  (1.605)
  4. 1994Até2009  (17.412)
  5. Após 2009  (90.147)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (109.329)
  2. Japonês  (3.830)
  3. Alemão  (248)
  4. Chinês  (102)
  5. Norueguês  (38)
  6. Português  (30)
  7. Francês  (27)
  8. Espanhol  (22)
  9. Russo  (12)
  10. Italiano  (7)
  11. Coreano  (7)
  12. Árabe  (2)
  13. Sueco  (1)
  14. Eslovaco  (1)
  15. Catalão  (1)
  16. Holandês  (1)
  17. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.