Searching for "Universal Unification." – sorted by Relevance.
-
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

