Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
TSO Games -- On the decidability of safety games under the total store order semanticsSpengler, Stephan ; Sil, SanchariElectronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
A maturity model for catalogues of semantic artefactsCorcho, Oscar ; Ekaputra, Fajar J ; Heibi, Ivan ; Jonquet, Clement ; Micsik, Andras ; Peroni, Silvio ; Storti, EmanueleScientific data, 2023-05, Vol.11 (1), p.479 [Periódico revisado por pares]England: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
On Model Theory of Second-Order ObjectsHyttinen, Tapani ; Puljujärvi, Joni ; Quadrellaro, Davide EmilioarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Non-distributive relatives of ETL and NFLKozhemiachenko, DaniilarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Modal weak Kleene logics: axiomatizations and relational semanticsBonzio, Stefano ; Zamperlin, NicolòarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Leibniz's law and paraconsistent models of ZFCFigallo-Orellano, AldoarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Outline of a Self-Reflecting TheoryPatrakeev, MikhailarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
PreconditionalsHolliday, Wesley HarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
A calculus for modal compact Hausdorff spacesBezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio ; Zhao, ZhiguangarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
LF: a Foundational Higher-Order-LogicGoodsell, Zachary ; Yli-Vakkuri, JuhaniarXiv.org, 2024-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |