Q4530463
type: Item
instance of: scholarly article
zbMATH Open document ID: 0997.03044
author: Bertram Fronhöfer
publication date: 2002-11-13T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1748578
zbMATH Keywords: Connection Method
zbMATH Keywords: theorem proving
zbMATH Keywords: Danos-Regnier Criterion
zbMATH Keywords: correctness of proof structures
zbMATH Keywords: switch graphs
zbMATH Keywords: completely unnested matrices
zbMATH Keywords: linear logic
MaRDI profile type: MaRDI publication profile
Recommended article: Q4222817
Recommended article: Q4530465
Recommended article: Proofs with graphs
Recommended article: Calculational proofs in relational graphical linear algebra
Recommended article: A note on proofs with graphs
Recommended article: Q4440824
Recommended article: Q3695295
Recommended article: Q4964705
Recommended article: Q5491014
description: scientific article; zbMATH DE number 1748578