Sökning: "Maria Angeles Galan Garcia"

Hittade 1 avhandling innehållade orden Maria Angeles Galan Garcia.

1. 1. Categorical Unification

   Författare :María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

   Sammanfattning : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. LÄS MER