Spurious disambiguation errors and how to get rid of them

DOI10.1007/s11786-008-0058-2zbMath1176.68221OpenAlexW2092956565WikidataQ56901903 ScholiaQ56901903MaRDI QIDQ841693

Stefano Zacchiroli, Claudio Sacerdoti Coen

Publication date: 18 September 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0058-2

zbMATH Keywords

ambiguityuser interactionsemantic analysismetavariables

Mathematics Subject Classification ID

Logic in computer science (03B70) Artificial intelligence (68T99)

Related Items (4)

A User Interface for a Mathematical System that Allows Ambiguous Formulae ⋮ Pollack-inconsistency ⋮ Natural Deduction Environment for Matita ⋮ Formalising Overlap Algebras in Matita

Uses Software

• Matita

This page was built for publication: Spurious disambiguation errors and how to get rid of them