Nelson Oppen
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Deciding difference logic in a Nelson-Oppen combination framework
O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modul
Publicado em: 2007