skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Mathematical Structures in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Sandro Preto Marcelo Finger

Mathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022

Cambridge 2022

Localização: IME - Inst. Matemática e Estatística    (PROD-3078150 )(Acessar)

2
An introduction to differential linear logic: proof-nets, models and antiderivatives
An introduction to differential linear logic: proof-nets, models and antiderivatives
Material Type:
Artigo 		Adicionar ao Meu Espaço

An introduction to differential linear logic: proof-nets, models and antiderivatives

EHRHARD, THOMAS

Mathematical structures in computer science, 2018-08, Vol.28 (7), p.995-1060 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
3
Hybrid linear logic, revisited
Hybrid linear logic, revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid linear logic, revisited

CHAUDHURI, KAUSTUV ; DESPEYROUX, JOËLLE ; OLARTE, CARLOS ; PIMENTEL, ELAINE

Mathematical structures in computer science, 2019-09, Vol.29 (8), p.1151-1176 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
Deep inference and expansion trees for second-order multiplicative linear logic
Deep inference and expansion trees for second-order multiplicative linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deep inference and expansion trees for second-order multiplicative linear logic

Strassburger, Lutz

Mathematical structures in computer science, 2019-09, Vol.29 (8), p.1030-1060 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus

Abrusci, V Michele ; Maieli, Roberto

Mathematical structures in computer science, 2018 [Periódico revisado por pares]

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
6
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
Material Type:
Artigo 		Adicionar ao Meu Espaço

Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Ghilardi, Silvio Silvio.Ghilardi@unimi.It ; Santocanale, Luigi

Mathematical structures in computer science, 2019 [Periódico revisado por pares]

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
7
The combinator M and the Mockingbird lattice
The combinator M and the Mockingbird lattice
Material Type:
Artigo 		Adicionar ao Meu Espaço

The combinator M and the Mockingbird lattice

Giraudo, Samuele

Mathematical structures in computer science, 2022-03, Vol.32 (3), p.271-299 [Periódico revisado por pares]

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
8
Coherent differentiation
Coherent differentiation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coherent differentiation

Ehrhard, Thomas

Mathematical structures in computer science, 2023-04, Vol.33 (4-5), p.259-310 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Mackey-complete spaces and power series – a topological model of differential linear logic
Mackey-complete spaces and power series – a topological model of differential linear logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mackey-complete spaces and power series – a topological model of differential linear logic

KERJEAN, MARIE ; TASSON, CHRISTINE

Mathematical structures in computer science, 2018-04, Vol.28 (4), p.472-507 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
10
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs

Dowek, Gilles ; Férey, Gaspard ; Jouannaud, Jean-Pierre ; Liu, Jiaxiang

Mathematical structures in computer science, 2022-08, Vol.32 (7), p.898-933 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Finger, M  (1)
  2. Preto, S  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (30)
  2. 1997Até2002  (83)
  3. 2003Até2008  (167)
  4. 2009Até2015  (245)
  5. Após 2015  (281)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Preto, S

Neste Assunto:

  1. Computer Science
  2. Technology
  3. Computer Science, Theory & Methods
  4. Science & Technology
  5. Mathematics

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.