MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Double Horn Functions." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Two-Face Horn Extensions  
  • by Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino — 1997
  • … time). In this paper, we introduce two interesting restrictions of Horn functions, namely double
  • Add To MetaCart
  • Bidual Horn Functions and Extensions  
  • by Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino — 1999
  • …-dual are Horn, and in [13] the class of double Horn functions, where a function f is double Horn if f…
  • Add To MetaCart
  • On the Difference of Horn Theories  
  • by Thomas Eiter, A- Wien, Toshihide Ibaraki, Kazuhisa Makino, Kazuhisa Makino — 2000
  • … , i.e., 1 contains all models. In [9], the class of double Horn functions has been introduced, which…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB