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
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Refinement modal logic
Refinement modal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Refinement modal logic

Bozzelli, Laura ; van Ditmarsch, Hans ; French, Tim ; Hales, James ; Pinchinat, Sophie

Information and computation, 2014-12, Vol.239, p.303-339 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
12
Natural strategic ability
Natural strategic ability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Natural strategic ability

Jamroga, Wojciech ; Malvone, Vadim ; Murano, Aniello

Artificial intelligence, 2019-12, Vol.277, p.103170, Article 103170 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Postulates for logic-based argumentation systems
Postulates for logic-based argumentation systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Postulates for logic-based argumentation systems

Amgoud, Leila

International journal of approximate reasoning, 2014-12, Vol.55 (9), p.2028-2048 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
14
Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations
Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations

Lopez, Théodore ; Monmege, Benjamin ; Talbot, Jean-Marc

Information processing letters, 2024, Vol.187 [Periódico revisado por pares]

Elsevier

Texto completo disponível

Citações Citado por
15
Interval linear systems as a necessary step in fuzzy linear systems
Interval linear systems as a necessary step in fuzzy linear systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interval linear systems as a necessary step in fuzzy linear systems

Lodwick, Weldon A. ; Dubois, Didier

Fuzzy sets and systems, 2015-12, Vol.281, p.227-251 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
16
Formalized meta-theory of sequent calculi for linear logics
Formalized meta-theory of sequent calculi for linear logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalized meta-theory of sequent calculi for linear logics

Chaudhuri, Kaustuv ; Lima, Leonardo ; Reis, Giselle

Theoretical computer science, 2019-08, Vol.781, p.24-38 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
17
Relativized depth
Relativized depth
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relativized depth

Bienvenu, Laurent ; Delle Rose, Valentino ; Merkle, Wolfgang

Theoretical computer science, 2023-03, Vol.949, p.113694, Article 113694 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
18
Toward a Dempster-Shafer theory of concepts
Toward a Dempster-Shafer theory of concepts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward a Dempster-Shafer theory of concepts

Frittella, Sabine ; Manoorkar, Krishna ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Wijnberg, Nachoem

International journal of approximate reasoning, 2020-10, Vol.125, p.14-25 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
19
A new connective in natural deduction, and its application to quantum computing
A new connective in natural deduction, and its application to quantum computing
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new connective in natural deduction, and its application to quantum computing

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
20
Polynomial time in untyped elementary linear logic
Polynomial time in untyped elementary linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polynomial time in untyped elementary linear logic

Laurent, Olivier

Theoretical computer science, 2020-04, Vol.813, p.117-142 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (46.386)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (50.222)
  2. magazinearticle  (269)
  3. Resenhas  (218)
  4. Anais de Congresso  (176)
  5. Book Chapters  (163)
  6. Recursos Textuais  (12)
  7. Livros  (11)
  8. Mais opções open sub menu

Idioma 

  1. Japonês  (3.177)
  2. Português  (50)
  3. Espanhol  (39)
  4. Francês  (20)
  5. Chinês  (20)
  6. Alemão  (15)
  7. Norueguês  (11)
  8. Africâner  (5)
  9. Russo  (2)
  10. Persa  (2)
  11. Galês  (1)
  12. Polonês  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.