scientific article; zbMATH DE number 1405663
From MaRDI portal
Publication:4938644
zbMath0939.03024MaRDI QIDQ4938644
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher-order abstract syntaxnatural deduction proof systempropositional modal \(\mu\)-calculusCalculus of Inductive Constructionscontext sensitive grammarsinteractive development of error-free proofs
Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Temporal logic (03B44)
Uses Software
This page was built for publication:
