BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Germany
Collaborated with:
K.Inoue R.Hasegawa M.Koshimura
Talks about:
magic (2) horn (2) set (2) non (2) relationship (1) incorpor (1) theorem (1) between (1) bottom (1) relev (1)

Person: Yoshihiko Ohta

DBLP DBLP: Ohta:Yoshihiko

Contributed to:

CADE 19981998
CADE 19971997

Wrote 2 papers:

CADE-1998-OhtaIH #on the #testing
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing (YO, KI, RH), pp. 333–348.
CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.