scientific article; zbMATH DE number 2011585

MaRDI QIDQ4437356zbMATH OpenFDO

Authors Sergey Kovalev

Publication date 1 December 2003

zbMATH Keywords

formalised languagemodelling theory

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Model-theoretic methods of analysis of computer arithmetic
• scientific article; zbMATH DE number 5041654
• Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers
• scientific article; zbMATH DE number 3963094
• Computer arithmetic: Logic, calculation, and rewriting

Cited in

(5)

• Model-theoretic methods of analysis of computer arithmetic
• scientific article; zbMATH DE number 4030982 (Why is no real title available?)
• scientific article; zbMATH DE number 1564057 (Why is no real title available?)
• Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers
• Mathematical model of stored logic based computation

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