Q4041054
type: Item
instance of: scholarly article
zbMATH Open document ID: 0705.68083
author: Gunther Schmidt
author: Thomas Ströhlein
publication date: 1993-06-05T00:00:00Z
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 05C90
Mathematics Subject Classification ID: 05C85
Mathematics Subject Classification ID: 68-01
Mathematics Subject Classification ID: 68R99
Mathematics Subject Classification ID: 03E20
zbMATH DE Number: 194258
zbMATH Keywords: program verification paths
zbMATH Keywords: cycles
zbMATH Keywords: connectivity
zbMATH Keywords: isomorphism
zbMATH Keywords: Church- Rosser property
zbMATH Keywords: confluence
zbMATH Keywords: relations
MaRDI profile type: MaRDI publication profile
Recommended article: Q4711799
Recommended article: Relations between graphs
Recommended article: Q5287518
Recommended article: Q4037312
description: scientific article