Publication:4934141
From MaRDI portal
zbMath0951.68141MaRDI QIDQ4934141
Publication date: 17 January 2000
Related Items
Optimization techniques for propositional intuitionistic logic and their implementation, Maehara-style modal nested calculi, Intuitionistic Decision Procedures Since Gentzen
Uses Software