Skip to search formSkip to main contentSkip to account menu

Dis-unification (computer science)

Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Computer scienceConstraint logic programmingConstraint programmingEquation solving

Broader (2)

Logic programmingTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Entité lexicale : dis (donc)
2016
2016
"Evrensellik”ten Kültürel Göreliliğe: AKP Dış Politikasında İnsan Hakları Söylemi
Insan haklari kavrami 18. yuzyildan itibaren hem ulusal hem de uluslararasi alanda tartisilmaya, ulusal ve uluslararasi hukuki… 
2013
2013
Implication de l'acide docosanoïque (C22 0) et des acides gras à très longue chaîne (acide tétracosanoïque (C24 0), acide hexacosanoïque ( C26 0) dans la maladie d'Alzheimer : aspects biologiques et…
Au niveau du cerveau et dans le plasma de malades atteints de maladie d’Alzheimer (MA), l’accumulation de C22:0 et d’acides gras… 
2011
2011
‘Periodically-active phenomenon’ of DIS-NCS with scattering transformation
When networked control systems (NCSs) are stable with any constant time delays, they are called delay-independently stable (DIS… 
2010
2010
Context based querying of dynamic and heterogeneous information sources
The proliferation of freely-accessible data-intensive websites, the growing availability of pervasive and mobile applications, as… 
2009
2009
CHRONOSTRATIGRAPHY AND CHANGES OF ENVIRONMENT OF LATE PLEISTOCENE AND HOLOCENE AT STARUNIA PALAEONTOLOGICAL SITE AND VICINITY ( CARPATHIAN REGION , UKRAINE )
Ab stract: This pa per pres ents the re sults of ab so lute dat ing and bi os tra tigraphi cal analy sis car ried out for al lu… 
2005
2005
Silent Brain Infarct in Thrombotic Thrombocytopenic Purpura
References 1. Newell DW, Aaslid R, Lam A, Mayberg T, Winn HR. Flow and velocity during autoregulation testing in humans. Stroke… 
Review
2003
Review
2003
Z_n-Graded Topological Generalizations of Supersymmetry and Orthofermion Algebra
We review various generalizations of supersymmetry and discuss their relationship. In particular, we show how supersymmetry… 
1998
1998
RULES OF DISCRETIZATION FOR PAINLEVÉ EQUATIONS
– The discrete Painlevé property is precisely defined, and basic dis-cretization rules to preserve it are stated. The discrete… 
1985
1985
ELEVATED PLASMA SORBITOL LEVELS IN CATARACT PATIENTS WITH SORBITOL DEHYDROGENASE DEFICIENCY
Two male patients in a family with congenital cataracts were found to have a deficient sorbitol dehydrogenase (SD) activity in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)