Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Doctoral thesis, Other literature type English OPEN SOURCE
Washington L. de Carvalho Segundoo;
(2019)
  • Publisher: Ciência da Computação
  • Related identifiers: doi: 10.5281/zenodo.1490393, doi: 10.5281/zenodo.2582109, doi: 10.13140/RG.2.2.17014.14404
  • Subject: Unification modulo equational theories | Unificação módulo teorias equacionais | :CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO [CNPQ] | Unificação nominal | Alpha-equivalência | Unificação de primeira-ordem | Alpha-equivalence | Equações de ponto fixo | :CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO [CNPQ] | Nominal logic | Nominal unification | :CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::ANALISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTACAO [CNPQ] | First-order unification | Lógica nominal | Fixed point equations

Submitted by Washington Segundo (washingtonsegundo@ibict.br) on 2019-05-06T16:02:20Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) thesis20190319.pdf: 2460573 bytes, checksum: a110e47747c4883105433dc23db4d6b6 (MD5) ... View more
Share - Bookmark