Spurious Disambiguation Error Detection

DOI10.1007/978-3-540-73086-6_30zbMath1202.68410OpenAlexW1513759943WikidataQ56901939 ScholiaQ56901939MaRDI QIDQ5428286

Claudio Sacerdoti Coen, Stefano Zacchiroli

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_30

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

A User Interface for a Mathematical System that Allows Ambiguous Formulae, Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors