Login / Signup

Using the Internal Logic of a Topos to Model Search Spaces for Problems.

Fernando Náufel do AmaralEdward Hermann Haeusler
Published in: Log. J. IGPL (2007)
Keyphrases