Computational Science – ICCS 2005

DOI10.1007/B136570MaRDI QIDQ5709504zbMATH OpenOpenAlexFDO

Authors Paul Agron, Leo Bachmair, Frank Nielsen

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136570

Mathematics Subject Classification ID

Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• An interactive derivation viewer
• Source-tracking unification.
• Source-tracking unification
• scientific article; zbMATH DE number 3871321
• Unification theory

Cited in

(5)

• An interactive derivation viewer
• scientific article; zbMATH DE number 7699421 (Why is no real title available?)
• scientific article; zbMATH DE number 1304454 (Why is no real title available?)
• Formal semantics of visual occam
• ACVisualizer: A visualization tool for APi-calculus

This page was built for publication: Computational Science – ICCS 2005

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