A. D. Yashin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

2 A. D. Yashin: New Solutions to Novikov's Problem for Intuitionistic Connectives. J. Log. Comput. 8(5): 637-664 (1998)

1996

1 A. D. Yashin: New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. CSL 1996: 460-471

1998
2		A. D. Yashin: New Solutions to Novikov's Problem for Intuitionistic Connectives. J. Log. Comput. 8(5): 637-664 (1998)
1996
1		A. D. Yashin: New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. CSL 1996: 460-471