Realization of Events by Logical Nets

DOI10.1145/320924.320931MaRDI QIDQ3260577zbMATH OpenOpenAlexFDO

Authors Irving M. Copi, Calvin C. Elgot, Jesse B. Wright

Publication date 1958

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/320924.320931

zbMATH Keywords

foundations of mathematics, philosophy, logic

Cited in

(11)

• A complete equational axiomatization for MPA with string iteration
• An equational axiomatization for multi-exit iteration
• Cycles in logical nets
• Decision Problems of Finite Automata Design and Related Arithmetics
• Regular canonical systems
• Finite synchronous automata
• Generalized finite automata theory with an application to a decision problem of second-order logic
• scientific article; zbMATH DE number 3271521 (Why is no real title available?)
• scientific article; zbMATH DE number 3293675 (Why is no real title available?)
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Image reflection on process graphs of 1-free regular expressions modulo bisimilarity

This page was built for publication: Realization of Events by Logical Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3260577)