scientific article; zbMATH DE number 2063227

MaRDI QIDQ4460844zbMATH OpenFDO

Authors Masahiro Nakata, Norimichi Saneto, Mariko Yasugi

Publication date 29 March 2004

zbMATH Keywords

catch and throw operatorsdeductive systemexceptional processesprogramproof

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15)

Recommendations

• A constructive logic behind the catch and throw mechanism
• scientific article; zbMATH DE number 1479632
• Intuitionistic and classical natural deduction systems with the catch and the throw rules
• scientific article; zbMATH DE number 1444325
• scientific article; zbMATH DE number 1692946

Cited in

(3)

• A constructive logic behind the catch and throw mechanism
• Intuitionistic and classical natural deduction systems with the catch and the throw rules
• scientific article; zbMATH DE number 1444325 (Why is no real title available?)

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