Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Dis-unification (computer science)

Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.
Wikipedia

Related topics

Related topics

10 relations
Computer scienceConstraint logic programmingConstraint programmingEquation solving
Expand

Broader (2)

Logic programmingTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
An Improved Digital False-Target Image Synthesizer Method for Countering Inverse Synthetic Aperture Radar
Digital false-target image synthesizer (DIS) has been proposed as a deceptive jamming method for countering inverse synthetic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Advancing the Discipline of Leadership Studies
The best way to describe the current status of Leadership Studies is that it is an “emerging discipline.” Few universities have… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Impact of Overhead on Spectral Efficiency of Cooperative Relaying
It is well known that cooperative relaying has the potential to improve the performance of wireless communication. However… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 7
Is this relevant?
2010
2010
Comparing the Handwriting Behaviours of True and False Writing with Computerized Handwriting Measures
The goal of this study is to compare the handwriting behaviours of true and false writing. Based on the cognitive load and dis… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2009
2009
CHRONOSTRATIGRAPHY AND CHANGES OF ENVIRONMENT OF LATE PLEISTOCENE AND HOLOCENE AT STARUNIA PALAEONTOLOGICAL SITE AND VICINITY ( CARPATHIAN REGION , UKRAINE )
  • Ta deusz SOKO£OWSKI
  • 2009
    • Corpus ID: 54870609
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Automatic Configuration Recognition Methods in Modular Robots
Recognizing useful modular robot configurations composed of hundreds of modules is a significant challenge. Matching a new… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
The influence of socioeconomic and cultural factors on compliance with dietary treatment, and growth and development in PKU children
s 7 The inÑuence of socioeconomic and cultural factors on compliance with dietary treatment, and growth and development in PKU… Expand
Is this relevant?
2004
2004
Correlation between cytokine serum levels, number of CD4+ T cells/mm³ and viral load in HIV-1 infected individuals with or without antiretroviral therapy
Seventy-nine HIV-1 infected patients were studied in three groups: Group G1 - 11 patients with no antiretroviral therapy; G2 - 40… Expand
  • table 1
  • table 2
Is this relevant?
1996
1996
The Largest Cartesian Closed Category of Stable Domains
Berry's category of dI-domains with stable functions is a relatively intricate, yet elegant, framework for semantics of… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE