Formality works
type: Item
instance of: scholarly article
title: Formality works
zbMATH Open document ID: 1003.68074
DOI: 10.1016/S0020-0190(00)00210-6
author: Rob R. Hoogerwoord
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68W15
zbMATH DE Number: 1771796
zbMATH Keywords: formal calculations
MaRDI profile type: Publication
Wikidata QID: Q126857494
full work available at URL: s0020-0190(00)00210-6
OpenAlex ID: W2911556156
description: scientific article; zbMATH DE number 1771796