BDBComp
Parceria:
SBC
Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search

Fernando Naufel do AmaralEdward Hermann Haeusler

We define some topoi related to the topos of forests and illustrate how the internal language of such topoi can be used (via local set theory) to define logics where we can represent (meta)heuristic search strategies for solving computational problems.

http://www.lbd.dcc.ufmg.br/colecoes/lsfa/2006/002.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD