Data types in subdefinite models

DOI10.1007/3-540-61732-9_65MaRDI QIDQ6560383zbMATH OpenFDO

Authors Vitaly Telerman

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-61732-9_65

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1822452
• Levels of concurrency in constraint satisfaction problems with subdefinite objects
• Computable Models
• A systematic study of models of abstract data types
• Non-deterministic data types: Models and implementations

Cites work

• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• Constraint satisfaction using constraint logic programming
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 4035001 (Why is no real title available?)

This page was built for publication: Data types in subdefinite models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560383)