Publication:4411846
From MaRDI portal
zbMath1020.03010MaRDI QIDQ4411846
Herman Geuvers, Gueorgui I. Jojgov
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710537.htm
03B35: Mechanization of proofs and logical operations
Related Items
Tactics and Parameters, Two-level Lambda-calculus, Implementing type theory in higher order constraint logic programming, Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms, A compact kernel for the calculus of inductive constructions, The lambda-context calculus (extended version), Tinycals: Step by Step Tacticals, MikiBeta : A General GUI Library for Visualizing Proof Trees
Uses Software