Publicaciones en colaboración con investigadores/as de Chalmers University of Technology (1)

2001

  1. A modular reduction of regular logic to classical logic

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