Example verifications using alphabet axioms
type: Item
instance of: scholarly article
title: Example verifications using alphabet axioms
zbMATH Open document ID: 0912.68118
DOI: 10.1007/PL00003925
author: Henri Korver
author: Alex Sellink
published in: Formal Aspects of Computing
publication date: 1998-11-11T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1221590
zbMATH Keywords: proof theory
zbMATH Keywords: alphabet axioms
Wikidata QID: Q114693101
MaRDI profile type: Publication
full work available at URL: pl00003925
OpenAlex ID: W2050299875
description: scientific article; zbMATH DE number 1221590