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
1 × Germany
Collaborated with:
G.Sutcliffe A.Roederer
Talks about:
system (2) relev (2) axiom (2) semant (1) select (1) srass (1) order (1) divvi (1) meta (1) base (1)

Person: Yury Puzis

DBLP DBLP: Puzis:Yury

Contributed to:

CADE 20092009
CADE 20072007

Wrote 2 papers:

CADE-2009-RoedererPS #axiom #named
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.
CADE-2007-SutcliffeP #axiom #named #semantics
SRASS — A Semantic Relevance Axiom Selection System (GS, YP), pp. 295–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.