scientific article; zbMATH DE number 1389648
From MaRDI portal
Publication:4934141
zbMath0951.68141MaRDI QIDQ4934141
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Maehara-style modal nested calculi ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Optimization techniques for propositional intuitionistic logic and their implementation
Uses Software
This page was built for publication: