scientific article; zbMATH DE number 2062344

MaRDI QIDQ4459241zbMATH OpenFDO

Authors Zohar Manna

Publication date 28 March 2004

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 46687
• scientific article; zbMATH DE number 5194318
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 41849
• Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis

Cited in

(9)

• The origins of the halting problem
• Theory of computation.
• scientific article; zbMATH DE number 3902040 (Why is no real title available?)
• scientific article; zbMATH DE number 46687 (Why is no real title available?)
• scientific article; zbMATH DE number 5242381 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Euclid machines
• Should computations halt?
• Liveness to safety for distributed systems

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