scientific article; zbMATH DE number 5041654
From MaRDI portal
Publication:5476785
Many-valued logic (03B50) Logic in computer science (03B70) Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Recommendations
- scientific article; zbMATH DE number 54290
- Mathematical foundations of computer science
- Mathematical foundations of computer science
- scientific article; zbMATH DE number 2109415
- Arithmetics. A computational approach
- scientific article; zbMATH DE number 1609607
- scientific article; zbMATH DE number 1260274
Cited in
(8)- Finite integer computations: An algebraic foundation for their correctness
- Category-theoretic models of algebraic computer systems
- Computer arithmetic: Logic, calculation, and rewriting
- Model-theoretic methods of analysis of computer arithmetic
- scientific article; zbMATH DE number 2011585 (Why is no real title available?)
- scientific article; zbMATH DE number 2047465 (Why is no real title available?)
- scientific article; zbMATH DE number 7514109 (Why is no real title available?)
- Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers
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 Q5476785)
