On computing the semi-sum of two integers

DOI10.1016/S0020-0190(03)00263-1zbMATH Open1175.68116WikidataQ56039276 ScholiaQ56039276MaRDI QIDQ1014396FDOQ1014396

Authors: Salvatore Ruggieri 

Publication date: 28 April 2009

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

formal methodsprogram derivation

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)

Cited In (1)

• Compact Difference Bound Matrices

Uses Software

• C4.5

This page was built for publication: On computing the semi-sum of two integers

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