Dis-unification (computer science)

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

Topic mentions per year

Topic mentions per year

1977-2016
0246819772016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Digital false-target image synthesizer (DIS) has been proposed as a deceptive jamming method for countering inverse synthetic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2014
Review
2014
  • Yue-Qiang Xueb
  • 2014
s from the 12th meeting of the International Society for Neural Transplantation and Restoration NeuroReport 2014, 25:139–163 Note… (More)
Is this relevant?
2010
2010
Tetrahydrobiopterin (BH4) is an essential cofactor for nitric oxide synthases (NOS). This study investigated the effect of… (More)
  • table 1
  • table 2
Is this relevant?
2008
2008
Recognizing useful modular robot configurations composed of hundreds of modules is a significant challenge. Matching a new… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
We give an arithmetic criterion which is sufficient to imply the dis-creteness of various two-generator subgroups of P SL(2, C… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 6
Is this relevant?
2005
2005
with left ventricular failure in a patient with no evidence of organic heart disease. Ann Intern Med 26: 769, 1947 35. Singer K… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2002
2002
We consider the 4d compact U (1) gauge theory with fundamental-adjoint action on a hypertorus. We give a full characterization of… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
1997
1997
We address the problem of formally proving high-level effect descriptions of actions from low-level operational deenitions. The… (More)
Is this relevant?
1996
1996
Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics of… (More)
Is this relevant?
1985
1985
Two male patients in a family with congenital cataracts were found to have a deficient sorbitol dehydrogenase (SD) activity in… (More)
Is this relevant?