Chalmers University of Technology-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2001

  1. A modular reduction of regular logic to classical logic

    Proceedings of The International Symposium on Multiple-Valued Logic, pp. 221-225