scientific article; zbMATH DE number 1303733
From MaRDI portal
Publication:4250369
zbMath0926.03037MaRDI QIDQ4250369
Publication date: 24 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut ruleproof assistant systemscondensing lemmapure type systems with universestype checking decidabilityweak strengthening lemma
Related Items (1)
Uses Software
This page was built for publication: