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