skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Middeldorp, Aart remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Constraints for Argument Filterings
Constraints for Argument Filterings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constraints for Argument Filterings

Zankl, Harald ; Hirokawa, Nao ; Middeldorp, Aart Plášil, František ; Sack, Harald ; van Leeuwen, Jan ; Italiano, Giuseppe F. ; van der Hoek, Wiebe ; Meinel, Christoph

SOFSEM 2007: Theory and Practice of Computer Science, p.579-590 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Increasing Interpretations
Increasing Interpretations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Increasing Interpretations

Zankl, Harald ; Middeldorp, Aart

Intelligent Computer Mathematics, Vol.5144, p.191-205 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Satisfiability of Non-linear (Ir)rational Arithmetic
Satisfiability of Non-linear (Ir)rational Arithmetic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Satisfiability of Non-linear (Ir)rational Arithmetic

Zankl, Harald ; Middeldorp, Aart Voronkov, Andrei ; Clarke, Edmund M.

Logic for Programming, Artificial Intelligence, and Reasoning, p.481-500 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
A complete narrowing calculus for higher-order functional logic programming
A complete narrowing calculus for higher-order functional logic programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A complete narrowing calculus for higher-order functional logic programming

Nakahara, Koichi ; Middeldorp, Aart ; Ida, Tetsuo Swierstra, S. Doaitse ; Hermenegildo, Manuel

Programming Languages: Implementations, Logics and Programs, 1995, p.97-114 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
On the Complexity of Deciding Call-by-Need
On the Complexity of Deciding Call-by-Need
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

On the Complexity of Deciding Call-by-Need

Durand, Irène A. ; Middeldorp, Aart

1998

Sem texto completo

Citações Citado por
6
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Middeldorp, Aart ; Sato, Taisuke Sato, Taisuke ; Middeldorp, Aart

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
7
Logicality of conditional rewrite systems
Logicality of conditional rewrite systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logicality of conditional rewrite systems

Yamada, Toshiyuki ; Avenhaus, Jürgen ; Lorı́a-Sáenz, Carlos ; Middeldorp, Aart

Theoretical computer science, 2000-04, Vol.236 (1), p.209-232 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
RTA 2001 : rewriting techniques and applications (Utrecht, 22-24 May 2001)
RTA 2001 : rewriting techniques and applications (Utrecht, 22-24 May 2001)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

RTA 2001 : rewriting techniques and applications (Utrecht, 22-24 May 2001)

Middeldorp, Aart

Lecture notes in computer science, 2001 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
9
Approximating Dependency Graphs Using Tree Automata Techniques
Approximating Dependency Graphs Using Tree Automata Techniques
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Approximating Dependency Graphs Using Tree Automata Techniques

Middeldorp, Aart Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias

Automated Reasoning, 2001, p.593-610 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A Complete Selection Function for Lazy Conditional Narrowing
A Complete Selection Function for Lazy Conditional Narrowing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Complete Selection Function for Lazy Conditional Narrowing

Suzuki, Taro ; Middeldorp, Aart Kuchen, Herbert ; Ueda, Kazunori

Functional and Logic Programming, 2001, p.201-215 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Mostrar Somente

  1. Recursos Online (41)
  2. Revistas revisadas por pares (26)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (31)
  2. Anais de Congresso  (7)
  3. Livros  (6)
  4. Book Chapters  (6)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.