Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedingsсборник

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

---

• • 2002 Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
  • Chernov Alexey V., Skvortsov Dmitrij P., Skvortsova Elena Z., Vereshchagin Nikolai K.
  • в сборнике Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2471, с. 74-88 DOI