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 × United Kingdom
2 × Japan
3 × USA
Collaborated with:
A.Voronkov S.Alves M.Fernández M.Fisher B.Konev Y.Matiyasevich Y.Gurevich P.Narendran M.Veanes
Talks about:
simultan (2) resolut (2) problem (2) decid (2) unif (2) base (2) intuitionist (1) metamodel (1) interpret (1) algorithm (1)

Person: Anatoli Degtyarev

DBLP DBLP: Degtyarev:Anatoli

Contributed to:

LOPSTR 20142014
CADE 20032003
CADE 20002000
RTA 19981998
LICS 19961996
ICLP 19951995

Wrote 7 papers:

LOPSTR-2014-AlvesDF #data access #metamodelling #semantics
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (SA, AD, MF), pp. 148–163.
Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.
Stratified Resolution (AD, AV), pp. 365–384.
RTA-1998-DegtyarevGNVV #decidability
The Decidability of Simultaneous Rigid E-Unification with One Variable (AD, YG, PN, MV, AV), pp. 181–195.
LICS-1996-DegtyarevMV #algorithm #problem
Simultaneous E-Unification and Related Algorithmic Problems (AD, YM, AV), pp. 494–502.
LICS-1996-DegtyarevV #decidability #logic #problem
Decidability Problems for the Prenex Fragment of Intuitionistic Logic (AD, AV), pp. 503–512.
ICLP-1995-DegtyarevV #horn clause #similarity
A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.

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.