Computational Science – ICCS 2005

DOI10.1007/B136570zbMATH Open1129.97300OpenAlexW2495705296MaRDI QIDQ5709504FDOQ5709504

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (5)

• An interactive derivation viewer
• Formal semantics of visual occam
• ACVisualizer: A visualization tool for APi-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

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)