`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: Degtyarev:Anatoli

### Contributed to:

### 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.
- CADE-2003-DegtyarevFK
- Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.
- CADE-2000-DegtyarevV
- 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.