scientific article; zbMATH DE number 3444775
From MaRDI portal
Publication:4769944
zbMATH Open0283.68011MaRDI QIDQ4769944FDOQ4769944
Authors: Zohar Manna 
Publication date: 1971
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Formal languages and automata (68Q45) Classical first-order logic (03B10) 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 Q4769944)
