| Title: |
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle |
| Authors: |
Chernov, Alexey V.Aff5; Skvortsov, Dmitriy P.Aff6; Skvortsova, Elena Z.Aff7; Vereshchagin, Nikolai K.Aff5 |
| Contributors: |
Goos, Gerhard, editorAff1; Hartmanis, Juris, editorAff2; van Leeuwen, Jan, editorAff3; Bradfield, Julian, editorAff4 |
| Source: |
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings. 2471:74-88 |
| Database: |
Springer Nature eBooks |