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 × Ireland
1 × USA
2 × Italy
Collaborated with:
A.Voronkov U.Hustadt B.Konev R.Nieuwenhuis T.Hillenbrand
Talks about:
vampir (2) effici (2) index (2) constraint (1) techniqu (1) standard (1) theorem (1) retriev (1) instanc (1) tempor (1)

Person: Alexandre Riazanov

DBLP DBLP: Riazanov:Alexandre

Contributed to:

IJCAR 20042004
CADE 20032003
IJCAR 20012001
CADE 19991999

Wrote 6 papers:

IJCAR-2004-HustadtKRV #named #proving
TeMP: A Temporal Monodic Prover (UH, BK, AR, AV), pp. 326–330.
IJCAR-2004-RiazanovV #constraints #performance
Efficient Checking of Term Ordering Constraints (AR, AV), pp. 60–74.
CADE-2003-RiazanovV #performance #relational #retrieval #standard
Efficient Instance Retrieval with Standard and Relational Path Indexing (AR, AV), pp. 380–396.
IJCAR-2001-NieuwenhuisHRV #evaluation #on the #proving #theorem proving
On the Evaluation of Indexing Techniques for Theorem Proving (RN, TH, AR, AV), pp. 257–271.
Vampire 1.1 (AR, AV), pp. 376–380.
Vampire (AR, AV), pp. 292–296.

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.