%0 Conference Paper %1 chernov:02csl %A Chernov, A. V. %A Skvortsov, D. P. %A Skvortsova, E. Z. %A Vereshchagin, N. K. %B Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic %D 2002 %I Springer-Verlag %K juergen %P 74--88 %T Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle

@inproceedings{chernov:02csl, added-at = {2008-03-11T14:52:34.000+0100}, author = {Chernov, A. V. and Skvortsov, D. P. and Skvortsova, E. Z. and Vereshchagin, N. K.}, biburl = {https://www.bibsonomy.org/bibtex/26e2cdf4c28e89f40877a4349f77d1235/idsia}, booktitle = {Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic}, citeulike-article-id = {2382081}, interhash = {708b99d70ff7b0c363bac7979d97c9fd}, intrahash = {6e2cdf4c28e89f40877a4349f77d1235}, keywords = {juergen}, pages = {74--88}, priority = {2}, publisher = {Springer-Verlag}, timestamp = {2008-03-11T14:53:02.000+0100}, title = {Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle}, year = 2002 }