Decidability of linear affine logic
type: Item
instance of: scholarly article
title: Decidability of linear affine logic
zbMATH Open document ID: 1007.03053
author: Yanyan Li
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1853150
zbMATH Keywords: decidability
zbMATH Keywords: full propositional linear affine logic
zbMATH Keywords: normal forms
MaRDI profile type: Publication
full work available at URL: inco.1999.2834
OpenAlex ID: W2111753732
cites work: Linear logic
cites work: Q4490754
cites work: Q4495851
DOI: 10.1006/INCO.1999.2834
description: scientific article; zbMATH DE number 1853150