Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, ProceedingsPotapov, Igor ; Reynier, Pierre-Alain Reynier, Pierre-Alain ; Potapov, IgorCham: Springer International Publishing 2018Sem texto completo |
|
2 |
Material Type: Artigo
|
On the enumeration of closures and environments with an application to random generationMaciej Bendkowski ; Pierre LescanneLogical methods in computer science, 2019-10, Vol.15, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Symbolic Computation for All the FunBrown, Chad E ; Janota, Mikoláš ; Olšák, MirekarXiv.org, 2024-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Schematic UnificationCerna, David MarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Calculational Design of [In]Correctness Transformational Program Logics by Abstract InterpretationCousot, PatrickarXiv.org, 2023-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Deciding Predicate Logical Theories of Real-Valued FunctionsRatschan, StefanarXiv.org, 2023-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Quantifiers closed under partial polymorphismsDawar, Anuj ; Hella, LauriarXiv.org, 2023-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Monoidal bicategories, differential linear logic, and analytic functorsFiore, M ; Gambino, N ; Hyland, MarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Recursion does not always helpPlotkin, GordonarXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
The equational theory of the Weihrauch lattice with multiplicationNeumann, Eike ; Pauly, Arno ; Pradic, CéciliaarXiv.org, 2024-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |