Logic Colloquium 2000, Paris, La Sorbonne. Abstracts of contributed papersсборник

Статьи, опубликованные в сборнике

---

• • 2000 On the approximation relation on dynamic logic models
  • Zakharov V.A.
  • в сборнике Logic Colloquium 2000, Paris, La Sorbonne. Abstracts of contributed papers, серия Logic Colloquium, место издания Paris, тезисы, с. 23-31