scientific article; zbMATH DE number 1863385

zbMath1005.68540MaRDI QIDQ4790660

Louise Abigail Dennis, Alan Smaill

Publication date: 4 February 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Ordinal arithmetic: Algorithms and mechanization ⋮ The use of embeddings to provide a clean separation of term and annotation for higher order rippling

Uses Software

• IMPS
• Lambda-Clam