Buscas alternativas:
substituicoes explicitas » substituicoes quimicas (Expandir a busca), substituicoes ionicas (Expandir a busca)
substituicoes explicitas » substituicoes quimicas (Expandir a busca), substituicoes ionicas (Expandir a busca)
1
Assuntos:
“...Cálculos de substituições explícitas...”
Verificação de propriedades do cálculo גex em Coq
Dissertação