skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
TSO Games -- On the decidability of safety games under the total store order semantics
Material Type:
Artigo
Adicionar ao Meu Espaço

TSO Games -- On the decidability of safety games under the total store order semantics

Spengler, Stephan ; Sil, Sanchari

Electronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
A maturity model for catalogues of semantic artefacts
Material Type:
Artigo
Adicionar ao Meu Espaço

A maturity model for catalogues of semantic artefacts

Corcho, Oscar ; Ekaputra, Fajar J ; Heibi, Ivan ; Jonquet, Clement ; Micsik, Andras ; Peroni, Silvio ; Storti, Emanuele

Scientific data, 2023-05, Vol.11 (1), p.479 [Periódico revisado por pares]

England: Cornell University Library, arXiv.org

Texto completo disponível

3
On Model Theory of Second-Order Objects
Material Type:
Artigo
Adicionar ao Meu Espaço

On Model Theory of Second-Order Objects

Hyttinen, Tapani ; Puljujärvi, Joni ; Quadrellaro, Davide Emilio

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
Non-distributive relatives of ETL and NFL
Material Type:
Artigo
Adicionar ao Meu Espaço

Non-distributive relatives of ETL and NFL

Kozhemiachenko, Daniil

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Modal weak Kleene logics: axiomatizations and relational semantics
Material Type:
Artigo
Adicionar ao Meu Espaço

Modal weak Kleene logics: axiomatizations and relational semantics

Bonzio, Stefano ; Zamperlin, Nicolò

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Leibniz's law and paraconsistent models of ZFC
Material Type:
Artigo
Adicionar ao Meu Espaço

Leibniz's law and paraconsistent models of ZFC

Figallo-Orellano, Aldo

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Outline of a Self-Reflecting Theory
Material Type:
Artigo
Adicionar ao Meu Espaço

Outline of a Self-Reflecting Theory

Patrakeev, Mikhail

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Preconditionals
Material Type:
Artigo
Adicionar ao Meu Espaço

Preconditionals

Holliday, Wesley H

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
A calculus for modal compact Hausdorff spaces
Material Type:
Artigo
Adicionar ao Meu Espaço

A calculus for modal compact Hausdorff spaces

Bezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio ; Zhao, Zhiguang

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
LF: a Foundational Higher-Order-Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

LF: a Foundational Higher-Order-Logic

Goodsell, Zachary ; Yli-Vakkuri, Juhani

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

Data de Publicação 

De até
  1. Antes de2009  (157)
  2. 2009Até2011  (681)
  3. 2012Até2014  (1.301)
  4. 2015Até2018  (3.740)
  5. Após 2018  (16.906)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.