3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Journal Of Symbolic Computation
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Positive and Negative Results for Higher-Order DisunificationLugiez, D.Journal of symbolic computation, 1995-10, Vol.20 (4), p.431-470 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A rewrite-based type discipline for a subset of computer algebraComon, H. ; Lugiez, D. ; Schnoebelen, PhJournal of symbolic computation, 1991-04, Vol.11 (4), p.349-368 [Periódico revisado por pares]Orlando, FL: Elsevier LtdTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Tree Automata Help One To Solve Equational Formulae In AC-TheoriesLugiez, D. ; Moysset, J.L.Journal of symbolic computation, 1994-10, Vol.18 (4), p.297-318 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Physical Sciences (2)
- Technology (2)
- Computer Science (2)
- Science & Technology (2)
- Mathematics (2)
- Computer Science, Theory & Methods (2)
- Mathematics, Applied (2)
- Computer Science; Control Theory; Systems (1)
- Programming Theory (1)
- Theoretical Computing (1)
- Exact Sciences And Technology (1)
- Applied Sciences (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 