-
Views
-
Cite
Cite
Fernando Náufel do Amaral, Edward Hermann Haeusler, Using the Internal Logic of a Topos to Model Search Spaces for Problems, Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 457–474, https://doi.org/10.1093/jigpal/jzm035
- Share Icon Share
Abstract
We present a structural model for (meta)heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic (with the language of local set theory) where objects of interest can be represented.
This content is only available as a PDF.
© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]
Issue Section:
Original Articles
You do not currently have access to this article.