BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
Collaborated with:
Y.Puzis G.Sutcliffe
Talks about:
system (1) relev (1) order (1) divvi (1) axiom (1) meta (1) base (1) atp (1)

Person: Alex Roederer

DBLP DBLP: Roederer:Alex

Contributed to:

CADE 20092009

Wrote 1 papers:

CADE-2009-RoedererPS #axiom #named
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.
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.