Travelled to:1 × United Kingdom
Collaborated with:A.V.Chernov D.P.Skvortsov N.K.Vereshchagin
Talks about:proposit (1) variant (1) formula (1) realiz (1) exclud (1) middl (1) logic (1) weak (1) law (1)
Person: Elena Z. Skvortsova
DBLP: Skvortsova:Elena_Z=
Contributed to:
2002Wrote 1 papers:
- CSL-2002-ChernovSSV #logic
- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.