scientific article; zbMATH DE number 2061716
From MaRDI portal
Publication:4457464
zbMath1039.68543MaRDI QIDQ4457464
Publication date: 22 March 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010271.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Equality Checking for General Type Theories in Andromeda 2 ⋮ Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof ⋮ The role of entropy in guiding a connection prover ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ Formally proving size optimality of sorting networks ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ Mathematical knowledge representation: semantic models and formalisms ⋮ Bidirectional grammars for machine-code decoding and encoding ⋮ \textsc{Prawf}: an interactive proof system for program extraction ⋮ A certified, corecursive implementation of exact real numbers
Uses Software
This page was built for publication:
