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 × Greece
Collaborated with:
T.Pitassi A.Urquhart T.Matsuzaki H.Iwane M.Kobayashi Y.Zhan R.Fukasaku J.Kudo H.Anai
Talks about:
benchmark (1) tableaux (1) univers (1) problem (1) complex (1) against (1) mechan (1) analyt (1) teen (1) race (1)

Person: Noriko H. Arai

DBLP DBLP: Arai:Noriko_H=

Contributed to:

STOC 20012001
IJCAR 20162016

Wrote 2 papers:

STOC-2001-AraiPU #complexity
The complexity of analytic tableaux (NHA, TP, AU), pp. 356–363.
IJCAR-2016-MatsuzakiIKZFKA #benchmark #metric #problem
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems (TM, HI, MK, YZ, RF, JK, HA, NHA), pp. 213–227.

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.