Results 1  10
of
78,883
REGULAR EQUATIONS AND UNIFICATION THEORY
"... We deal with two kinds of special equations: normal and regular, considered by several authors. We point fundamental properties of these equations and some connections with the unification theory. Our aim is to present some observations on regular identities in some unification problems. 1 ..."
Abstract
 Add to MetaCart
We deal with two kinds of special equations: normal and regular, considered by several authors. We point fundamental properties of these equations and some connections with the unification theory. Our aim is to present some observations on regular identities in some unification problems. 1
An Efficient Unification Algorithm
 TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS)
, 1982
"... The unification problem in firstorder predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unification algorithm, characterized by having the acyclicity test efficiently embedded into it, is derived from the nond ..."
Abstract

Cited by 369 (1 self)
 Add to MetaCart
The unification problem in firstorder predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unification algorithm, characterized by having the acyclicity test efficiently embedded into it, is derived from
A theory of memory retrieval
 PSYCHOL. REV
, 1978
"... A theory of memory retrieval is developed and is shown to apply over a range of experimental paradigms. Access to memory traces is viewed in terms of a resonance metaphor. The probe item evokes the search set on the basis of probememory item relatedness, just as a ringing tuning fork evokes sympath ..."
Abstract

Cited by 728 (81 self)
 Add to MetaCart
A theory of memory retrieval is developed and is shown to apply over a range of experimental paradigms. Access to memory traces is viewed in terms of a resonance metaphor. The probe item evokes the search set on the basis of probememory item relatedness, just as a ringing tuning fork evokes
DIVERGENCES AND SYMMETRIES IN HIGGSGAUGE UNIFICATION THEORIES
, 2005
"... In theories with extra dimensions the Standard Model Higgs field can be identified with the internal components of higherdimensional gauge fields (Higgsgauge unification). The higherdimensional gauge symmetry prevents the Higgs mass from quadratic divergences, but at the fixed points of the orbifo ..."
Abstract
 Add to MetaCart
In theories with extra dimensions the Standard Model Higgs field can be identified with the internal components of higherdimensional gauge fields (Higgsgauge unification). The higherdimensional gauge symmetry prevents the Higgs mass from quadratic divergences, but at the fixed points
TADPOLES AND SYMMETRIES IN HIGGSGAUGE UNIFICATION THEORIES ∗
, 2004
"... In theories with extra dimensions the Standard Model Higgs fields can be identified with internal components of bulk gauge fields (Higgsgauge unification). The bulk gauge symmetry protects the Higgs mass from quadratic divergences, but at the fixed points localized tadpoles can be radiatively gener ..."
Abstract
 Add to MetaCart
In theories with extra dimensions the Standard Model Higgs fields can be identified with internal components of bulk gauge fields (Higgsgauge unification). The bulk gauge symmetry protects the Higgs mass from quadratic divergences, but at the fixed points localized tadpoles can be radiatively
KodairaSpencer theory of gravity and exact results for quantum string amplitudes
 Commun. Math. Phys
, 1994
"... We develop techniques to compute higher loop string amplitudes for twisted N = 2 theories with ĉ = 3 (i.e. the critical case). An important ingredient is the discovery of an anomaly at every genus in decoupling of BRST trivial states, captured to all orders by a master anomaly equation. In a particu ..."
Abstract

Cited by 545 (60 self)
 Add to MetaCart
We develop techniques to compute higher loop string amplitudes for twisted N = 2 theories with ĉ = 3 (i.e. the critical case). An important ingredient is the discovery of an anomaly at every genus in decoupling of BRST trivial states, captured to all orders by a master anomaly equation. In a
Results 1  10
of
78,883