scientific article; zbMATH DE number 1748590

MaRDI QIDQ4530475zbMATH OpenFDO

Authors Christoph Walther

Publication date 3 June 2002

zbMATH Keywords

termination of an algorithm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3930339
• Termination criteria for linear problems
• scientific article; zbMATH DE number 4072437
• scientific article; zbMATH DE number 3926219
• scientific article; zbMATH DE number 107881

Cited in

(3)

• Termination criteria for linear problems
• Outside opportunities and termination
• Dismissal power

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