skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Mathematical Analysis remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Potapov, Igor ; Reynier, Pierre-Alain Reynier, Pierre-Alain ; Potapov, Igor

Cham: Springer International Publishing 2018

Sem texto completo

2
On the enumeration of closures and environments with an application to random generation
Material Type:
Artigo
Adicionar ao Meu Espaço

On the enumeration of closures and environments with an application to random generation

Maciej Bendkowski ; Pierre Lescanne

Logical methods in computer science, 2019-10, Vol.15, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

3
Symbolic Computation for All the Fun
Material Type:
Artigo
Adicionar ao Meu Espaço

Symbolic Computation for All the Fun

Brown, Chad E ; Janota, Mikoláš ; Olšák, Mirek

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
Schematic Unification
Material Type:
Artigo
Adicionar ao Meu Espaço

Schematic Unification

Cerna, David M

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
Material Type:
Artigo
Adicionar ao Meu Espaço

Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation

Cousot, Patrick

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Deciding Predicate Logical Theories of Real-Valued Functions
Material Type:
Artigo
Adicionar ao Meu Espaço

Deciding Predicate Logical Theories of Real-Valued Functions

Ratschan, Stefan

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Quantifiers closed under partial polymorphisms
Material Type:
Artigo
Adicionar ao Meu Espaço

Quantifiers closed under partial polymorphisms

Dawar, Anuj ; Hella, Lauri

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Monoidal bicategories, differential linear logic, and analytic functors
Material Type:
Artigo
Adicionar ao Meu Espaço

Monoidal bicategories, differential linear logic, and analytic functors

Fiore, M ; Gambino, N ; Hyland, M

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Recursion does not always help
Material Type:
Artigo
Adicionar ao Meu Espaço

Recursion does not always help

Plotkin, Gordon

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
The equational theory of the Weihrauch lattice with multiplication
Material Type:
Artigo
Adicionar ao Meu Espaço

The equational theory of the Weihrauch lattice with multiplication

Neumann, Eike ; Pauly, Arno ; Pradic, Cécilia

arXiv.org, 2024-09

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. Recursos Online (5.988)
  2. Revistas revisadas por pares (4.611)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5.722)
  2. Anais de Congresso  (479)
  3. Livros  (255)
  4. magazinearticle  (27)
  5. Book Chapters  (7)
  6. Reports  (5)
  7. Resenhas  (2)
  8. Verbetes  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1979  (21)
  2. 1979Até1990  (67)
  3. 1991Até2001  (330)
  4. 2002Até2013  (2.670)
  5. Após 2013  (3.513)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (355)
  2. Chinês  (9)
  3. Português  (9)
  4. Alemão  (4)
  5. Espanhol  (4)
  6. Russo  (2)
  7. Turco  (1)
  8. Croatian  (1)
  9. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.