Q5752549
type: Item
instance of: scholarly article
zbMATH Open document ID: 0721.03015
author: B. S. Galyukshov
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 4187777
zbMATH Keywords: formal grammars
MaRDI profile type: Publication
Recommended article: On finitely-valued inference systems
Recommended article: Generalizing Inference Systems by Coaxioms
Recommended article: Deduction and definability in infinite statistical systems
Recommended article: Q3709589
Recommended article: Properties of system W and its relationships to other inductive inference operators
Recommended article: Q3735097
Recommended article: Q3990380
Recommended article: A note on the strong and weak generative powers of formal systems
Recommended article: Decidability of inferring inductive invariants
Recommended article: Cвойства систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями
description: scientific article; zbMATH DE number 4187777