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 × France
1 × USA
Collaborated with:
Y.Yamamoto S.Fukuda
Talks about:
circumscript (1) parallel (1) frequent (1) approxim (1) theorem (1) resourc (1) itemset (1) conserv (1) stream (1) prover (1)

Person: Koji Iwanuma

DBLP DBLP: Iwanuma:Koji

Contributed to:

SIGMOD 20142014
CADE 19971997
CADE 19941994

Wrote 3 papers:

SIGMOD-2014-YamamotoIF #approximate #data type #mining
Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.
CADE-1997-Iwanuma #proving #theorem proving #top-down
Lemma Matching for a PTTP-based Top-down Theorem Prover (KI), pp. 146–160.
CADE-1994-Iwanuma #normalisation #parallel #query
Conservative Query Normalization on Parallel Circumscription (KI), pp. 296–310.

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.