Sökning: "unification"

Visar resultat 1 - 5 av 76 avhandlingar innehållade ordet unification.

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

3. 2. Practical Unification for Dependent Type Checking

   Författare :Víctor López Juan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; unification; type checking; dependent types; Functional Programming;

   Sammanfattning : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. LÄS MER

4. 3. Practical Heterogeneous Unification for Dependent Type Checking

   Författare :Víctor López Juan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; unification; dependent types; type checking;

   Sammanfattning : Dependent types can specify in detail which inputs to a program are allowed, and how the properties of its output depend on the inputs. A program called the type checker assesses whether a program has a given type, thus detecting situations where the implementation of a program potentially differs from its intended behaviour. LÄS MER

5. 4. Models of SO(10) Grand Unified Theories : Yukawa Sector and Gauge Coupling Unification

   Författare :Marcus Pernow; Tommy Ohlsson; Frank Deppisch; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; grand unified theories; renormalization group equations; neutrino masses; threshold effects; gauge coupling unification; Fysik; Physics;

   Sammanfattning : .... LÄS MER

7. 5. National identity in divided and unified Germany : continuity and change

   Författare :Joakim Ekman; Sten Berglund; Hans-Dieter Klingemann; Örebro universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; national identity; German unification; inner unification; nation-building; Germany; GDR; FRG; Eastern Germany; Western Germany; political culture; national community; statskunskap; Political science; Statsvetenskap; Political Science; Statskunskap;

   Sammanfattning : This dissertation deals with the construction, maintenance and change of national identities in divided and unified Germany. Following World War II, Germany was divided in two parts. LÄS MER