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
Material Type:
Artigo
Adicionar ao Meu Espaço

Applicable Mathematics in a Minimal Computational Theory of Sets

Avron, Arnon ; Cohen, Liron

Episciences.org 2018

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Second-Order Functions and Theorems in ACL2

Coglio, Alessandro

EPTCS 192, 2015, pp. 17-33

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Domains via approximation operators

Zou, Zhiwei ; Li, Qingguo ; Ho, Weng Kin

Episciences.org 2018

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

The Algebraic Intersection Type Unification Problem

Dudenhefner, Andrej ; Martens, Moritz ; Rehof, Jakob

Episciences.org 2017

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Subtropical Satisfiability

Fontaine, Pascal ; Ogawa, Mizuhito ; Sturm, Thomas ; Vu, Xuan Tung

Proc. FROCOS 2017, LNCS 10483, pp.189-206, Springer 2017 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Blanqui, Frédéric ; Koprowski, Adam Blanqui, Frédéric (Editor)

Mathematical Structures in Computer Science, 2011, Vol.21(4), pp.827-859 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena

Logical Methods in Computer Science, Volume 11, Issue 1 (March 16, 2015) lmcs:930 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Descriptive complexity of graph spectra

Dawar, Anuj ; Severini, Simone ; Zapata, Octavio

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings Sixth International Workshop on Classical Logic and Computation

Kohlenbach, Ulrich ; Van Bakel, Steffen ; Berardi, Stefano

EPTCS 213, 2016

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems

Nagae, Yutaro ; Sakai, Masahiko ; Seki, Hiroyuki

EPTCS 235, 2017, pp. 46-61

Texto completo disponível

Ver todas as versões
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 (1.154)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.231)
  2. Anais de Congresso  (87)
  3. Relatórios Técnicos  (4)
  4. Livros  (2)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1981  (23)
  2. 1981Até1989  (104)
  3. 1990Até1998  (244)
  4. 1999Até2008  (344)
  5. Após 2008  (610)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sasao, T
  2. Vassiliadis, S
  3. Reyhani-Masoleh, A
  4. Eiter, Thomas
  5. Peltier, Nicolas

Buscando em bases de dados remotas. Favor aguardar.