scientific article
From MaRDI portal
Publication:2703714
zbMath0970.68143MaRDI QIDQ2703714
Daisuke Nagano, Sachio Hirokawa
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Intuitionistic games: determinacy, completeness, and normalization ⋮ Proof Search and Counter Model of Positive Minimal Predicate Logic ⋮ Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
Uses Software
This page was built for publication:
