Triple dots in a formal language

DOI10.1023/A:1006086330571zbMath0922.68082OpenAlexW1488252330MaRDI QIDQ1284707

Leon Łukaszewicz

Publication date: 26 April 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006086330571

zbMATH Keywords

specification languagesautomated deductionproof checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Flexary connectives in Mizar

This page was built for publication: Triple dots in a formal language