scientific article; zbMATH DE number 3637272
From MaRDI portal
Publication:4197331
zbMATH Open0409.68015MaRDI QIDQ4197331FDOQ4197331
Authors: G. M. Kirsanov, G. E. Tsejtlin 
Publication date: 1977
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Many-valued logic (03B50) Categoricity and completeness of theories (03C35) Other algebras related to logic (03G25) Algorithms in computer science (68W99)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4197331)
