Travelled to:1 × The Netherlands
Collaborated with:∅
Talks about:intuitionist (1) conservativs (1) constant (1) undecid (1) problem (1) logic (1) new (1)
Person: A. D. Yashin
DBLP: Yashin:A=_D=
Contributed to:
1996Wrote 1 papers:
- CSL-1996-Yashin #logic #problem
- New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem (ADY), pp. 460–471.