Searching for "Universal Unification." – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Stable Massive Particles at Colliders
- … in the universe, but also charge quantisation (magnetic monopoles? millicharges? grand unification?), the flavour…
- Add To MetaCart
-
The Unification Tutor: An intelligent educational system in the classroom
- … University The Unification Tutor - An Intelligent Educational System in the Classroom Abstract Geoffrey I…
- Cited by 4 (3 self) – Add To MetaCart
-
Embedding Finite Sets in a Logic Programming Language
- … approach could be to use a universal unification algorithm for a class of theories E (i.e. "an algorithm…
- Cited by 17 (9 self) – Add To MetaCart
-
Equality Inferencing
- … algorithm for larger equational theories. The alternative is to develop universal E-unification algorithms…
- Add To MetaCart
-
Incremental Constraint Satisfaction for Equational Logic Programming
- … framework, conditional term rewriting systems and universal unification. In Section 3 we define CLP( ) logic…
- Cited by 8 (8 self) – Add To MetaCart
-
A Unified Approach to Theory Reasoning
- … Paramodulation-like E-Resolution-like Typed terms Dedicated unification Universal unification Variable level…
- Cited by 6 (1 self) – Add To MetaCart
-
Solving Proportional Analogies by Application of Anti-Unification modulo Equational Theory
- …, University of Osnabrück June 28, 2005 Abstract This thesis applies the theory of Anti-Unification modulo…
- Cited by 1 (1 self) – Add To MetaCart
-
Universality of coproducts in categories of lax algebras
- … with universality gives extensitivity (see [2]). � Since coproducts fail to be universal in Unif (see [6]), we also…
- Cited by 1 (0 self) – Add To MetaCart
-
Using CHRs to generate functional test cases for the Java Card Virtual Machine
- … of constraining terms in the Herbrand Universe is unification. Note that the ask constraint that corresponds…
- Cited by 1 (0 self) – Add To MetaCart
-
Charginos and Neutralinos in the Light of Radiative Corrections: Sealing the Fate of Higgsino Dark Matter
- … and equal to m 0 at the unification scale, and the trilinear parameters A are also taken to be universal…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
