MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Cycle Unification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Cycle Unification  
  • by Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz — 1992 — CADE
  • … the number of iterations through the cycle. In this paper we consider the cycle unification problem…
  • Cited by 7 (3 self) – Add To MetaCart
  • Term Schematizations and Their Applications  
  • by M. Hermann, G. Salzer, Divergence In H. Kirchner, G. Levi, G. Salzer Deductive Generalization — 1995
  • …, 1992. [21] G. Salzer. On the relationship between cycle unification and the unification of infinite…
  • Add To MetaCart
  • Unifying Cycles  
  • by Jörg Würtz, Intelligenz Gmbh, Deutsches Forschungszentrum, K Unstliche Intelligenz, Friedrich J. Wendl — 1992
  • …. In this paper we consider the cycle unification problem of unifying two literals G and F modulo a cycle. We…
  • Cited by 4 (2 self) – Add To MetaCart
  • Satisfiability of the Smallest Binary Program  
  • by Philipp Hanschke, Jörg Würtz, Intelligenz Gmbh, J Org W Urtz, Deutsches Forschungszentrum, K Unstliche Intelligenz, Friedrich J. Wendl — 1993
  • … =) L 2 /R 21; : : : ; R 2k . The subject of [BHW92] and [Wur92] is cycle unification. Therein, a binary…
  • Cited by 10 (3 self) – Add To MetaCart
  • Smallest Horn Clause Programs  
  • by P. Devienne, P. Lebègue, A. Parrain, Egue A. Parrain, J. Würtz, J. C. Routier, J. W — 1994
  • … it decidable for some particular cases 3 . They denoted this problem as the cycle unification problem…
  • Cited by 8 (0 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB