scientific article; zbMATH DE number 3566183

zbMATH Open0363.68078MaRDI QIDQ4138150FDOQ4138150

Authors: Toshio Nishimura 

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited In (2)

• Arithmetical completeness in first-order dynamic logic for concurrent programs
• Methods and means of parallel processing of information

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 Q4138150)