Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)Dudenhefner, AndrejarXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
Permuting 2-uniform tolerances on latticesCzédli, GáborarXiv.org, 2019-09 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
The Ameyalli-Rule: Logical Universality in a 2D Cellular AutomatonGómez Soto, José Manuel ; Wuensche, AndrewarXiv.org, 2021-07 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Partial clones containing all Boolean monotone self-dual partial functionsCouceiro, Miguel ; Haddad, Lucien ; Rosenberg, Ivo GJournal of multiple-valued logic and soft computing, 2016-01, Vol.27 (2-3), p.183-192 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
A weakly universal cellular automaton with 2 states on the tiling {11,3}Margenstern, MauriceJournal of cellular automata, 2016-01, Vol.11 (2-3), p.113-144 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
A weakly universal cellular automaton on the tessellation \(\{9,3\}\)Margenstern, MauriceJournal of cellular automata, 2017-01, Vol.12 (3-4), p.249-284 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Entanglement Purification with Quantum LDPC Codes and Iterative DecodingNarayanan Rengaswamy ; Raveendran, Nithin ; Raina, Ankur ; Bane VasićarXiv.org, 2024-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Single Online Agent Can Efficiently Learn Mean Field GamesZhang, Chenyu ; Chen, Xu ; Xuan DiarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Finding Nash equilibria by minimizing approximate exploitability with learned best responsesMartin, Carlos ; Sandholm, TuomasarXiv.org, 2023-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |