scientific article
From MaRDI portal
Publication:3397633
zbMath1191.03023MaRDI QIDQ3397633
Publication date: 22 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Basic Constructive Connectives, Determinism and Matrix-Based Semantics ⋮ Tracking Evidence ⋮ Strict Canonical Constructive Systems ⋮ DKAL and Z3: A Logic Embedding Experiment
Uses Software
This page was built for publication:
