skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Base de dados/Biblioteca: Engineered Materials Abstracts remover Nome da Publicação: Fundamenta Informaticae remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
lpopt: A Rule Optimization Tool for Answer Set Programming
lpopt: A Rule Optimization Tool for Answer Set Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

lpopt: A Rule Optimization Tool for Answer Set Programming

Bichler, Manuel ; Morak, Michael ; Woltran, Stefan Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020, Vol.177 (3-4), p.275-296 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
2
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms

Alpuente, María ; Cuenca-Ortega, Angel ; Escobar, Santiago ; Meseguer, José Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.297-329 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
3
Dynamic Slicing for Concurrent Constraint Languages
Dynamic Slicing for Concurrent Constraint Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Slicing for Concurrent Constraint Languages

Falaschi, Moreno ; Gabbrielli, Maurizio ; Olarte, Carlos ; Palamidessi, Catuscia Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.331-357 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
4
Selective Unification in (Constraint) Logic Programming
Selective Unification in (Constraint) Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Selective Unification in (Constraint) Logic Programming

Mesnard, Fred ; Payet, Étienne ; Vidal, Germán Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.359-383 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
5
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

Albert, Elvira ; Bezirgiannis, Nikolaos ; de Boer, Frank ; Martin-Martin, Enrique Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.203-234 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
6
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Tarau, Paul Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.385-415 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.