Travelled to:
1 × Ireland
Collaborated with:
P.Johann E.Komendantskaya
Talks about:
structur (1) resolut (1) program (1) logic (1)
Person: Vladimir Komendantskiy
DBLP: Komendantskiy:Vladimir
Contributed to:
Wrote 1 papers:
- ICLP-2015-JohannKK #logic programming
- Structural Resolution for Logic Programming (PJ, EK, VK), pp. 87–99.