Triple dots in a formal language
type: Item
instance of: scholarly article
title: Triple dots in a formal language
zbMATH Open document ID: 0922.68082
DOI: 10.1023/A:1006086330571
author: Leon Łukaszewicz
published in: Journal of Automated Reasoning
publication date: 1999-04-26T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1279225
zbMATH Keywords: proof checking
zbMATH Keywords: automated deduction
zbMATH Keywords: specification languages
MaRDI profile type: Publication
full work available at URL: a:1006086330571
OpenAlex ID: W1488252330
Recommended article: Trigraphs
Recommended article: Q3028348
Recommended article: Q4604095
Recommended article: Q4698611
Recommended article: Logical constants as punctuation marks
Recommended article: Q2947383
Recommended article: Dot operators
Recommended article: Three-distance sequences with three symbols.
Recommended article: Languages of dot-depth 3/2
description: scientific article; zbMATH DE number 1279225