Operadores de redução para completamento de sistemas de reescrita
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2021.
Saved in:
Main Author: | González Barragán, Andrés Felipe |
---|---|
Other Authors: | Nantes Sobrinho, Daniele |
Format: | Dissertação |
Language: | Português |
Published: |
2021
|
Subjects: | |
Online Access: |
https://repositorio.unb.br/handle/10482/40986 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Subgrupos normais em grupos limites e aproximações homológicas para um grupo profinito
by: Gutierrez, Jhoel Estebany Sandoval
Published: (2018) -
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
by: Valverde, Ana Cristina Rocha Oliveira
Published: (2017) -
Formalização da confluência para sistemas de reescrita ortogonais
by: Oliveira, Ana Cristina Rocha
Published: (2012) -
Uma abordagem baseada em contexto para reescrita de consultas a bancos de dados relacionais
by: MACIEL, Paulo Roberto Moreira
Published: (2015) -
A preparação/revisão de textos como reescrita da tradução
by: Webster, Auristela Marina Cardoso Genaro
Published: (2018)