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 × 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.
IJCAR-2001-RiazanovV
Vampire 1.1 (AR, AV), pp. 376–380.
CADE-1999-RiazanovV
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.