ARTICLE
|
doi:10.20944/preprints201811.0226.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
intuitionistic logic; quantum computing; Kripke-style semantics
Online: 9 November 2018 (03:03:59 CET)