scientific article; zbMATH DE number 1863386

zbMATH Open1005.68533MaRDI QIDQ4790661

Matt Fairtlough, Michael Mendler, Xiaochun Cheng

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520201

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Related Items (6)

Abstract logics, logic maps, and logic homomorphisms ⋮ Title not available (Why is that?) ⋮ Reasoning with higher-order abstract syntax in a logical framework ⋮ Plugging-in proof development environments usingLocksinLF ⋮ Abstraction, Axiomatization and Rigor: Pasch and Hilbert ⋮ Title not available (Why is that?)

Uses Software

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4790661)