Travelled to:
1 × France
Collaborated with:
F.S.d.Boer
Talks about:
structur (1) object (1) navig (1) logic (1) decid (1)
Person: Rogier M. van Eijk
DBLP: Eijk:Rogier_M=_van
Contributed to:
Wrote 1 papers:
- CSL-2001-BoerE #decidability #logic #navigation
- Decidable Navigation Logics for Object Structures (FSdB, RMvE), pp. 324–338.