skip to main content
Mostrar Somente
Refinado por: autor: Haemmerlé, Rémy remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

Arias, Emilio Jesús Gallego ; Haemmerlé, Rémy ; Hermenegildo, Manuel V. ; Morales, José F.

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings of the Eleventh Workshop on Constraint Handling Rules

Haemmerlé, Rémy ; Sneyers, Jon

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

On Termination, Confluence and Consistent CHR-based Type Inference

Duck, Gregory J. ; Haemmerle, Remy ; Sulzmann, Martin

Theory and Practice of Logic Programming 14 (2014) 619-632 [Periódico revisado por pares]

Texto completo disponível

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

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)

Haemmerlé, Rémy ; Morales, Jose

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Diagrammatic confluence for Constraint Handling Rules

Haemmerlé, Rémy

Theory and Practice of Logic Programming, 12(4-5): 737-753, 2012 [Periódico revisado por pares]

Texto completo disponível

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

Lightweight compilation of (C)LP to JavaScript

Morales, Jose F. ; Haemmerlé, Rémy ; Carro, Manuel ; Hermenegildo, Manuel V.

Theory and Practice of Logic Programming, 12(4-5): 755-773, 2012 [Periódico revisado por pares]

Texto completo disponível

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

Observational equivalences for linear logic CC languages

Haemmerlé, Rémy

Theory and Practice of Logic Programming, 11(4-5): 469-485, 2011 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

(Co-)Inductive semantics for Constraint Handling Rules

Haemmerlé, Rémy

Theory and Practice of Logic Programming, 11(4-5): 593-609, 2011 [Periódico revisado por pares]

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5)

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Haemmerlé, Rémy
  2. Haemmerle, R
  3. Haemmerlé, R.
  4. Haemmerle, Remy
  5. Hermenegildo, Manuel V.

Buscando em bases de dados remotas. Favor aguardar.